diff options
Diffstat (limited to 'macros/latex/contrib/stex/source/extensions/Makefile')
-rw-r--r-- | macros/latex/contrib/stex/source/extensions/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/macros/latex/contrib/stex/source/extensions/Makefile b/macros/latex/contrib/stex/source/extensions/Makefile index 6a6b18a4c8..67f1356953 100644 --- a/macros/latex/contrib/stex/source/extensions/Makefile +++ b/macros/latex/contrib/stex/source/extensions/Makefile @@ -1,6 +1,6 @@ DTX = $(shell ls *.dtx) DOC = $(DTX:%.dtx=%.pdf) -INS = extensions.ins +INS = stex-extensions.ins PDFLATEX = pdflatex -interaction=batchmode TEXDIR = ../../tex |