diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/Makefile b/docs/Makefile index ededfe8..7ccaf43 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -14,7 +14,7 @@ clean: rm -f manual.pdf manual.html manual.pdf: $(INPUTS) - $(PANDOC) $(OPTS) $(INPUTS) -o $@ + $(PANDOC) $(OPTS) $(INPUTS) --latex-engine=xelatex -o $@ manual.html: $(INPUTS) style.css $(PANDOC) $(OPTS) $(INPUTS) -H webfonts.html -c style.css -o $@ |