diff options
-rw-r--r-- | web/Makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/web/Makefile b/web/Makefile index edd459d5e..c5329c924 100644 --- a/web/Makefile +++ b/web/Makefile @@ -1,6 +1,8 @@ ALL := index.html README.html INSTALL.html examples.html pandoc.1.html html2markdown.1.html hsmarkdown.1.html markdown2pdf.1.html html2x.html PANDOC_PATH ?= $(dir $(shell which pandoc)) +PANDOC_SRC ?= ${HOME}/src/pandoc MAKEPAGE = $(PANDOC_PATH)/pandoc -s -S -H css -A footer.html + all : $(ALL) .PHONY: clean @@ -8,6 +10,15 @@ clean: for file in $(ALL); do rm $$file; done; \ rm -r example*; +# 'make update' pulls in source files from the pandoc source directory +sources := $(PANDOC_SRC)/dist/doc/html $(PANDOC_SRC)/changelog \ + $(PANDOC_SRC)/INSTALL $(wildcard $(PANDOC_SRC)/man/man1/*.1) \ + $(PANDOC_SRC)/man/man1/pandoc.1.md $(PANDOC_SRC)/README +update : $(sources) + cp -r $(sources) . ; \ + mv html doc; \ + cp changelog changelog.txt + examples.txt : mkdemos.pl config.xsl S5DEMO README demos math.text 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' $@ |