changeset 75:540d83fc281e

There are no longer any .html or .txt files in source tree.
author Oleksandr Gavenko <gavenkoa@gmail.com>
date Mon, 22 Feb 2016 13:53:54 +0200
parents 69323ee4fd3a
children 2100455aae72
files Makefile
diffstat 1 files changed, 0 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- 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