diff options
-rwxr-xr-x | web/mkdemos.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/web/mkdemos.sh b/web/mkdemos.sh index 83490f837..48cee6f91 100755 --- a/web/mkdemos.sh +++ b/web/mkdemos.sh @@ -30,8 +30,8 @@ Converting a web page to markdown: html2markdown http://www.gnu.org/software/make/ -o example0.txt From markdown to PDF: markdown2pdf README -o example0.pdf -Using a custom LaTeX header to change the font style of the PDF: -markdown2pdf -C myheader.tex README -o example0.pdf' +PDF with numbered sections and a custom LaTeX header: +markdown2pdf -N -C myheader.tex README -o example0.pdf' oldifs=$IFS IFS=$NEWLINE |