Makefile
changeset 2 ee2c7334966e
parent 1 fd4cd9134e53
child 3 194bc8d6504a
equal deleted inserted replaced
1:fd4cd9134e53 2:ee2c7334966e
    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