Skip to content

Instantly share code, notes, and snippets.

@djromero
Created April 18, 2017 10:06
Show Gist options
  • Save djromero/151e250d42ad43030967b571e1dee447 to your computer and use it in GitHub Desktop.
Save djromero/151e250d42ad43030967b571e1dee447 to your computer and use it in GitHub Desktop.
Simple makefile to update documentation with pandoc
PANDOC=/usr/local/bin/pandoc
OPTIONS=-s -S --toc --toc-depth=2 -f markdown --latex-engine=xelatex \
-V mainfont="Palatino" -V sansfont="Helvetica" -V monofont="Menlo" -V fontsize=12pt -V urlcolor=blue \
-V geometry:a4paper -V geometry:margin=2cm \
--highlight-style=tango
DOCS=user-manual.pdf installation.pdf
%.pdf : %.md
$(PANDOC) $(OPTIONS) -o $@ $<
all : $(DOCS)
clean:
@/bin/rm -f $(DOCS)
@djromero
Copy link
Author

Assumes that user-manual.md and installation.md exists.
Run with make.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment