equal
deleted
inserted
replaced
122 sed -e "s|{date}|$$(date +%F)|" -e "s|{rev}|$$(hg id -i)|" <$< >$@ |
122 sed -e "s|{date}|$$(date +%F)|" -e "s|{rev}|$$(hg id -i)|" <$< >$@ |
123 |
123 |
124 $(HTML_DIR)/index.html: $(HTML_DIR)/README.html $(MAKEFILE_LIST) | $(HTML_DIR) |
124 $(HTML_DIR)/index.html: $(HTML_DIR)/README.html $(MAKEFILE_LIST) | $(HTML_DIR) |
125 cp $< $@ |
125 cp $< $@ |
126 |
126 |
127 $(HTML_DIR)/%.html: %.html $(MAKEFILE_LIST) | $(HTML_DIR) |
|
128 cp $< $@ |
|
129 |
|
130 $(HTML_DIR)/%.txt: %.txt $(MAKEFILE_LIST) | $(HTML_DIR) |
|
131 cp $< $@ |
|
132 |
|
133 .PHONY: chm |
127 .PHONY: chm |
134 chm: html $(CHM_FILES) $(HTML_DIR)/iframe.html |
128 chm: html $(CHM_FILES) $(HTML_DIR)/iframe.html |
135 cd $(HTML_DIR); for file in *.html; do sed -i '/<\?xml.*\?>/d' $$file; done |
129 cd $(HTML_DIR); for file in *.html; do sed -i '/<\?xml.*\?>/d' $$file; done |
136 |
130 |
137 $(HTML_DIR)/%.stp: %.stp $(MAKEFILE_LIST) | $(HTML_DIR) |
131 $(HTML_DIR)/%.stp: %.stp $(MAKEFILE_LIST) | $(HTML_DIR) |