diff options
Diffstat (limited to 'web/mkdemos.sh')
-rw-r--r-- | web/mkdemos.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/web/mkdemos.sh b/web/mkdemos.sh index ac3d45106..b3e344413 100644 --- a/web/mkdemos.sh +++ b/web/mkdemos.sh @@ -16,6 +16,7 @@ pandoc -s README.tex -o example0.txt pandoc -s -w rst README -o example0.txt pandoc -s README -o example0.rtf pandoc -s -m -i -w s5 S5DEMO -o example0.html +pandoc -s -w docbook README -o example0.db html2markdown http://www.gnu.org/software/make/ -o example0.txt markdown2pdf README -o example0.pdf markdown2pdf -C myheader.tex README -o example0.pdf' |