diff options
Diffstat (limited to 'web')
| -rw-r--r-- | web/demos.sh | 3 | ||||
| -rw-r--r-- | web/myheader.tex | 11 |
2 files changed, 13 insertions, 1 deletions
diff --git a/web/demos.sh b/web/demos.sh index 7dbada910..6c6a2a698 100644 --- a/web/demos.sh +++ b/web/demos.sh @@ -15,7 +15,8 @@ pandoc -s -w rst README -o demo0.txt pandoc -s README -o demo0.rtf pandoc -s -m -i -w s5 S5DEMO -o demo0.html web2markdown http://www.gnu.org/software/make/ -o demo0.txt -markdown2pdf README -o demo0.pdf' +markdown2pdf README -o demo0.pdf +markdown2pdf -C myheader.tex README -o demo0.pdf' oldifs=$IFS IFS=$NEWLINE diff --git a/web/myheader.tex b/web/myheader.tex new file mode 100644 index 000000000..a3de3622f --- /dev/null +++ b/web/myheader.tex @@ -0,0 +1,11 @@ +\documentclass[12pt]{article} +\usepackage{txfonts} +\usepackage{hyperref} +\usepackage{ucs} +\usepackage[utf8x]{inputenc} +\usepackage{graphicx} +\setlength{\parindent}{0pt} +\setlength{\parskip}{6pt plus 2pt minus 1pt} +% This is needed for code blocks in footnotes: +\usepackage{fancyvrb} +\VerbatimFootnotes |