update website when makefile changes
Haldean Brown
4 years ago
15 | 15 | |
16 | 16 | all: index.html $(docpages) |
17 | 17 | |
18 | index.html: templates/skel-start.html templates/skel-end.html $(docpages) | |
18 | index.html: templates/skel-start.html templates/skel-end.html $(docpages) GNUmakefile | |
19 | 19 | ./makeindex $(docpages) > $@ |
20 | 20 | |
21 | 21 | $(docpages): %.html: ../../docs/%.txt templates/docheader.html templates/docfooter.html |