summaryrefslogtreecommitdiff
path: root/doc/doc.mk
diff options
context:
space:
mode:
Diffstat (limited to 'doc/doc.mk')
-rw-r--r--doc/doc.mk1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/doc.mk b/doc/doc.mk
index 0ad8c3a..8c56847 100644
--- a/doc/doc.mk
+++ b/doc/doc.mk
@@ -8,3 +8,4 @@ doc: $(PDF)
$(BUILD_DIR)/%.pdf: %.tex
mkdir -p $(dir $@)
pdflatex -halt-on-error -output-directory $(DOC_BUILD_DIR) $<
+ pdflatex -halt-on-error -output-directory $(DOC_BUILD_DIR) $<