diff options
Diffstat (limited to 'indexing/xindex/doc/Makefile')
-rw-r--r-- | indexing/xindex/doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/indexing/xindex/doc/Makefile b/indexing/xindex/doc/Makefile index 7e5529f499..e5bddf07a9 100644 --- a/indexing/xindex/doc/Makefile +++ b/indexing/xindex/doc/Makefile @@ -23,7 +23,7 @@ doc: xindex -a $(MAIN).idx # bibtex $(MAIN) $(LATEX) --shell-escape $(MAIN) -# $(LATEX) --shell-escape $(MAIN) + $(LATEX) --shell-escape $(MAIN) clean : $(RM) *.dvi *.aux *.log *.xml xindex-?.tex xindex-??.tex *.ind *.idx *.toc *.out *.ilg |