2016-12-25 00:43:47 +01:00
|
|
|
#!/bin/sh
|
2019-06-05 10:46:49 +02:00
|
|
|
# To install required tools in debian:
|
|
|
|
# sudo apt-get install pandoc texlive-latex-base texlive-fonts-recommended texlive-latex-extra
|
2009-11-15 20:04:05 +01:00
|
|
|
|
2019-11-15 21:35:41 +01:00
|
|
|
pandoc manual.md -o manual.pdf -s --number-sections --toc
|
|
|
|
pandoc manual.md -o manual.html -s --number-sections --toc
|
2009-11-15 20:04:05 +01:00
|
|
|
|
2019-11-15 21:35:41 +01:00
|
|
|
pandoc reference-cfg-format.md -o reference-cfg-format.pdf -s --number-sections --toc
|
|
|
|
pandoc reference-cfg-format.md -o reference-cfg-format.html -s --number-sections --toc
|