equal
deleted
inserted
replaced
585 mkdir -p $@ |
585 mkdir -p $@ |
586 |
586 |
587 ################################################################ |
587 ################################################################ |
588 # Documentation targets. |
588 # Documentation targets. |
589 |
589 |
590 .PHONY: docs |
590 .PHONY: docs web |
591 docs: html |
591 docs web: www |
592 |
592 |
593 .PHONY: html |
593 .PHONY: www |
594 html: $(HTML_FILES) |
594 www: $(HTML_FILES) |
595 |
595 |
596 $(INDEX_HTML_FILE): dist/www/README.html |
596 $(INDEX_HTML_FILE): dist/www/README.html |
597 cp $< $@ |
597 cp $< $@ |
598 |
598 |
599 $(RST_HTML_FILES): dist/www/%.html: www/%.rst $(RST_CSS_FILE) $(RST_TMPL_FILE) $(BUILD_SCRIPTS) | dist/www/ |
599 $(RST_HTML_FILES): dist/www/%.html: www/%.rst $(RST_CSS_FILE) $(RST_TMPL_FILE) $(BUILD_SCRIPTS) | dist/www/ |