From e00e3cc6cd889740d645f51db909c6b3b819feb3 Mon Sep 17 00:00:00 2001 From: Alessandro Cuttin Date: Fri, 27 Mar 2020 22:11:29 +0100 Subject: [PATCH] added file extensions when glossaries is loaded with "symbols" option --- TeX.gitignore | 3 +++ 1 file changed, 3 insertions(+) diff --git a/TeX.gitignore b/TeX.gitignore index 6d159be2..5f996868 100644 --- a/TeX.gitignore +++ b/TeX.gitignore @@ -111,6 +111,9 @@ acs-*.bib *.glsdefs *.lzo *.lzs +*.slg +*.slo +*.sls # uncomment this for glossaries-extra (will ignore makeindex's style files!) # *.ist