diff options
Diffstat (limited to 'macros/latex/contrib/stex/doc/Makefile')
-rw-r--r-- | macros/latex/contrib/stex/doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/macros/latex/contrib/stex/doc/Makefile b/macros/latex/contrib/stex/doc/Makefile index b727f2f94d..7544a3c2fd 100644 --- a/macros/latex/contrib/stex/doc/Makefile +++ b/macros/latex/contrib/stex/doc/Makefile @@ -2,7 +2,7 @@ STY = stex extensions SPATH = $(STY:%=../source/%) DTX = $(shell ls $(SPATH:%=%/*.dtx)) INS = $(shell ls $(SPATH:%=%/*.ins)) -DOC = stex-doc.pdf stex-manual.pdf +DOC = stex-doc.pdf stex-manual.pdf stex-ide.pdf TEXDIR = ../tex TEXINPUTS = $(TEXDIR)//: |