changeset 73740 | c46ff0efa1ce |
parent 73727 | 2574de12ad29 |
child 73953 | 0b5e6851c722 |
--- a/etc/settings Wed May 19 11:48:35 2021 +0200 +++ b/etc/settings Wed May 19 11:54:58 2021 +0200 @@ -72,7 +72,7 @@ ISABELLE_LUALATEX="lualatex --interaction=nonstopmode --file-line-error" ISABELLE_BIBTEX="bibtex" -ISABELLE_MAKEINDEX="makeindex" +ISABELLE_MAKEINDEX="makeindex -c -q" ISABELLE_EPSTOPDF="epstopdf"