From 01ec5921935d145cc7132a95a645354aa7dd9e96 Mon Sep 17 00:00:00 2001 From: Martin Thoma Date: Fri, 28 Sep 2012 13:45:06 +0200 Subject: [PATCH] no shell escape needed --- documents/index/Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/documents/index/Makefile b/documents/index/Makefile index 5ebc5c1..f33dbde 100644 --- a/documents/index/Makefile +++ b/documents/index/Makefile @@ -1,9 +1,9 @@ SOURCE = index make: - pdflatex -shell-escape $(SOURCE).tex -output-format=pdf - makeindex $(SOURCE) - pdflatex -shell-escape $(SOURCE).tex -output-format=pdf + pdflatex $(SOURCE).tex -output-format=pdf # first run for the aux file + makeindex $(SOURCE) # now the index is generated + pdflatex $(SOURCE).tex -output-format=pdf # pdf with index :-) make clean clean: