Makefile
changeset 1913 03ad179cbe2a
parent 1912 8b81a8f0f692
child 1917 d5967d76dae5
--- a/Makefile	Mon Feb 22 13:52:03 2016 +0200
+++ b/Makefile	Mon Feb 22 13:53:54 2016 +0200
@@ -124,12 +124,6 @@
 $(HTML_DIR)/index.html: $(HTML_DIR)/README.html $(MAKEFILE_LIST) | $(HTML_DIR)
 	cp $< $@
 
-$(HTML_DIR)/%.html: %.html $(MAKEFILE_LIST) | $(HTML_DIR)
-	cp $< $@
-
-$(HTML_DIR)/%.txt: %.txt $(MAKEFILE_LIST) | $(HTML_DIR)
-	cp $< $@
-
 .PHONY: chm
 chm: html $(CHM_FILES) $(HTML_DIR)/iframe.html
 	cd $(HTML_DIR); for file in *.html; do sed -i '/<\?xml.*\?>/d' $$file; done