--- a/etc/settings Fri Dec 08 23:43:58 2017 +0100
+++ b/etc/settings Sun Dec 10 14:29:14 2017 +0100
@@ -46,12 +46,17 @@
### Document preparation (cf. isabelle latex/document)
###
-ISABELLE_LATEX="latex"
-ISABELLE_PDFLATEX="pdflatex"
+ISABELLE_LATEX="latex -file-line-error"
+ISABELLE_PDFLATEX="pdflatex -file-line-error"
ISABELLE_BIBTEX="bibtex"
ISABELLE_MAKEINDEX="makeindex"
ISABELLE_EPSTOPDF="epstopdf"
+if [ "$ISABELLE_PLATFORM_FAMILY" = "windows" ]; then
+ ISABELLE_LATEX="latex -c-style-errors"
+ ISABELLE_PDFLATEX="pdflatex -c-style-errors"
+fi
+
###
### Misc path settings