Makefile
changeset 905 93b983f80767
parent 903 9ead7d97be34
child 923 f3b193a0e566
equal deleted inserted replaced
904:29eccddc0c22 905:93b983f80767
    31 all:
    31 all:
    32 
    32 
    33 .PHONY: html
    33 .PHONY: html
    34 html: $(HTML_FILES) $(TXT__FILES)
    34 html: $(HTML_FILES) $(TXT__FILES)
    35 
    35 
    36 $(HTML_DIR)/%.html: %.rst | $(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 | $(HTML_DIR)
    40 	./index.sh frame >$@
    40 	./index.sh frame >$@
    41 
    41