diff options
Diffstat (limited to 'web/Makefile')
-rw-r--r-- | web/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/web/Makefile b/web/Makefile index e7cd1d3d0..73f489607 100644 --- a/web/Makefile +++ b/web/Makefile @@ -15,6 +15,9 @@ examples.txt : mkdemos.pl config.xsl S5DEMO README demos math.text do highlight -k monospace -u utf-8 --style emacs $$file > $$file.html; \ done +examples.html : examples.txt + $(PANDOC_PATH)/pandoc -s -H css -A footer.html $< > $@ + index.html : index.txt css $(MAKEPAGE) --toc $< > $@ |