summaryrefslogtreecommitdiffstats
path: root/makefile
diff options
context:
space:
mode:
Diffstat (limited to 'makefile')
-rw-r--r--makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/makefile b/makefile
index 168dbc9..ae150e1 100644
--- a/makefile
+++ b/makefile
@@ -16,3 +16,4 @@ build/$(DOCNAME).pdf : $(SOURCES)
mkdir -p build
$(TEX) $(TEXARGS) $<
$(TEX) $(TEXARGS) $<
+ $(TEX) $(TEXARGS) $<