equal
deleted
inserted
replaced
34 html: $(HTML_FILES) $(TXT__FILES) |
34 html: $(HTML_FILES) $(TXT__FILES) |
35 |
35 |
36 $(HTML_DIR)/%.html: %.rst rst.css | $(HTML_DIR) |
36 $(HTML_DIR)/%.html: %.rst rst.css | $(HTML_DIR) |
37 rst2html.py --stylesheet=rst.css $*.rst $@ |
37 rst2html.py --stylesheet=rst.css $*.rst $@ |
38 |
38 |
39 $(HTML_DIR)/index.html: index.sh | $(HTML_DIR) |
39 $(HTML_DIR)/index.html: index.sh $(filter-out $(HTML_DIR)/index.html,$(HTML_FILES)) | $(HTML_DIR) |
40 ./index.sh frame >$@ |
40 ./index.sh frame >$@ |
41 |
41 |
42 $(HTML_DIR)/%.html: %.html | $(HTML_DIR) |
42 $(HTML_DIR)/%.html: %.html | $(HTML_DIR) |
43 cp $< $@ |
43 cp $< $@ |
44 |
44 |