diff options
Diffstat (limited to 'decisions/Makefile')
-rw-r--r-- | decisions/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/decisions/Makefile b/decisions/Makefile index 2073e49..2ac3845 100644 --- a/decisions/Makefile +++ b/decisions/Makefile @@ -10,7 +10,10 @@ default: decisions.pdf decisions.ind: *.aux *.tex makeindex decisions -decisions.pdf: *.aux *.idx *.tex *.ind +decisions.idx: *.aux *.tex + makeindex decisions + +decisions.pdf: *.aux decisions.idx *.tex decisions.ind pdflatex decisions onlineupdate: decisions.bug decisions.mld |