diff options
Diffstat (limited to 'web')
| -rw-r--r-- | web/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/web/Makefile b/web/Makefile index b51ce0bf1..8d38dcc5d 100644 --- a/web/Makefile +++ b/web/Makefile @@ -1,7 +1,7 @@ ALL := index.html README.html INSTALL.html examples.html pandoc1.html markdown2pdf1.html html2markdown1.html hsmarkdown1.html PANDOC_PATH ?= $(dir $(shell which pandoc)) MAKEPAGE = $(PANDOC_PATH)/pandoc -s -S -c pandoc.css -A footer.html -all : $(ALL) +all : $(ALL) .PHONY: clean clean: @@ -12,7 +12,7 @@ examples.txt : $(PANDOC_DEPS) mkdemos.pl config.xsl S5DEMO README demos PATH=$(PANDOC_PATH):$$PATH ./mkdemos.pl demos $@ perl -pi -e 's!(href="(main|(my)?header|footer|example\d+)\.(html|tex|xml|css))"!\1.html"!g' $@ for file in $$(ls | egrep '(main|(my)?header|footer|example[0-9]+)\.(html|tex|xml|css)$$'); \ - do highlight -u utf-8 --style emacs $$file > $$file.html; \ + do highlight -k monospace -u utf-8 --style emacs $$file > $$file.html; \ done index.html : index.txt |