summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/stex/source/extensions/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/stex/source/extensions/Makefile')
-rw-r--r--macros/latex/contrib/stex/source/extensions/Makefile2
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