diff options
-rw-r--r-- | Makefile | 1 | ||||
-rw-r--r-- | web/demos.sh | 1 |
2 files changed, 2 insertions, 0 deletions
@@ -364,6 +364,7 @@ $(web_dest)/: $(MAIN) html sed -e 's/@VERSION@/$(VERSION)/g' | \ $(make_page) > $(web_dest)/index.html; \ cp README $(web_dest)/ ; \ + ./$(MAIN) -s -w latex README > $(web_dest)/README.tex ; \ cp $(web_src)/S5DEMO $(web_dest)/ ; \ cp $(web_src)/header.html $(web_dest)/ ; \ cp $(web_src)/footer.html $(web_dest)/ ; \ diff --git a/web/demos.sh b/web/demos.sh index ca25a4bec..7dbada910 100644 --- a/web/demos.sh +++ b/web/demos.sh @@ -10,6 +10,7 @@ DEMOS='pandoc README -o demo0.html pandoc -s -S README -o demo0.html pandoc -s -S -c main.css -B header.html -A footer.html README -o demo0.html pandoc -s README -o demo0.tex +pandoc -s README.tex -o demo0.txt pandoc -s -w rst README -o demo0.txt pandoc -s README -o demo0.rtf pandoc -s -m -i -w s5 S5DEMO -o demo0.html |