diff options
| -rw-r--r-- | Makefile | 6 | ||||
| -rw-r--r-- | web/demos.sh | 1 |
2 files changed, 5 insertions, 2 deletions
@@ -363,8 +363,10 @@ $(web_dest)/: $(MAIN) html sed -e 's/@WINDOWS_PKG_NAME@/$(win_pkg_name)/g' | \ sed -e 's/@VERSION@/$(VERSION)/g' | \ $(make_page) > $(web_dest)/index.html; \ - cp README $(web_dest)/README; \ - cp $(web_src)/S5DEMO $(web_dest)/S5DEMO; \ + cp README $(web_dest)/ ; \ + cp $(web_src)/S5DEMO $(web_dest)/ ; \ + cp $(web_src)/header.html $(web_dest)/ ; \ + cp $(web_src)/footer.html $(web_dest)/ ; \ sh $(web_src)/demos.sh $(web_dest) | \ $(make_page) > $(web_dest)/demos.html; \ ) || { rm -rf $(web_dest); exit 1; } diff --git a/web/demos.sh b/web/demos.sh index 3c402ead6..ca25a4bec 100644 --- a/web/demos.sh +++ b/web/demos.sh @@ -8,6 +8,7 @@ NEWLINE=' ' 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 -w rst README -o demo0.txt pandoc -s README -o demo0.rtf |