diff options
| -rw-r--r-- | docs/Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/Makefile.in b/docs/Makefile.in index 0a9f7086a8..39f3da14b6 100644 --- a/docs/Makefile.in +++ b/docs/Makefile.in @@ -23,8 +23,8 @@ PNMTOPS = @PNMTOPS@ HTML2TEXT = @HTML2TEXT@ PLUCKERBUILD = @PLUCKERBUILD@ THUMBPDF = @THUMBPDF@ -PDFLATEX = TEXINPUTS=xslt/latex:.: @PDFLATEX@ -LATEX = TEXINPUTS=xslt/latex:.: @LATEX@ +PDFLATEX = TEXINPUTS=xslt/latex:.: @PDFLATEX@ --file-line-error-style +LATEX = TEXINPUTS=xslt/latex:.: @LATEX@ --file-line-error-style RM = @RM@ ifndef DEBUG_LATEX PDFLATEX += --interaction nonstopmode |