diff options
Diffstat (limited to 'web')
| -rw-r--r-- | web/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/web/Makefile b/web/Makefile index 8cf468575..70f088df1 100644 --- a/web/Makefile +++ b/web/Makefile @@ -1,4 +1,4 @@ -ALL := index.html README.html INSTALL.html examples.html pandoc.1.html markdown2pdf.1.html html2x.html +ALL := index.html README.html INSTALL.html examples.html pandoc.1.html markdown2pdf.1.html html2x.html changelog.txt PANDOC_PATH ?= $(dir $(shell which pandoc)) PANDOC_SRC ?= ${HOME}/src/pandoc MAKEPAGE = $(PANDOC_PATH)/pandoc -s -S -H css -A footer.html @@ -10,6 +10,9 @@ clean: for file in $(ALL); do rm $$file; done; \ rm -r example*; +changelog.txt : changelog + cp $< $@ + # '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) \ |