diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/koma-script/Makefile.baseinit')
-rw-r--r-- | Master/texmf-dist/source/latex/koma-script/Makefile.baseinit | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/source/latex/koma-script/Makefile.baseinit b/Master/texmf-dist/source/latex/koma-script/Makefile.baseinit index abeaa01b3a8..5c842ac4d2f 100644 --- a/Master/texmf-dist/source/latex/koma-script/Makefile.baseinit +++ b/Master/texmf-dist/source/latex/koma-script/Makefile.baseinit @@ -112,7 +112,7 @@ INSTALLDEMODIR ?= $(INSTALLDOCDIR)/demo # Extensions of files which are generated for generation CLEANEXTS = *.aux *.bbl *.blg *.glg *.glo *.gls *.glx *.idx \ *.ilg *.ind *.lof *.log *.lot *.out *.toc \ - *.toc[0-9] *.toc[0-9][0-9] + *.toc[0-9] *.toc[0-9][0-9] *.synctex.gz *.slnc \ # ---------------------------------------------------------------------- # ---------------------------------------------------------------------- |