On 04/28/2018 03:15 PM, Adrian Bunk wrote: > Source: ppl > Version: 1:1.2-2 > Severity: serious > > https://tests.reproducible-builds.org/debian/rb-pkg/unstable/amd64/ppl.html > > ... > pl-1.2/doc/bugseng_logo.pdf>] [4] [1] [2] (./index.tex > Underfull \hbox (badness 10000) detected at line 9 > [][][] > pdfTeX warning (ext4): destination with the same identifier (name{page.1}) > has > been already used, duplicate ignored > <to be read again> > \relax > l.25 > [1]) (/build/1st/ppl-1.2/doc/gpl.tex > > ! LaTeX Error: Can be used only in preamble. > > See the LaTeX manual or LaTeX Companion for explanation. > Type H <return> for immediate help. > ... > > l.1 \documentclass > [a4paper,12pt]{article} > ? > ! Emergency stop. > ... > > l.1 \documentclass > [a4paper,12pt]{article} > ! ==> Fatal error occurred, no output PDF file produced! > Transcript written on refman.log. > make[2]: *** [Makefile:6: refman.pdf] Error 1 >
Thanks for the report. This has just been fixed with the following commit. commit addd0535f36e4a2734b9b5321e2e0ad398c5e20c Author: Roberto Bagnara <roberto.bagn...@bugseng.com> Date: Fri May 4 09:26:25 2018 +0200 Disable Kpathsea case-insensitive filename matching. Case-insensitive filename matching is done by default in non-system directories starting from TeX Live 2018. diff --git a/doc/Makefile.am b/doc/Makefile.am index 3daf9ccea..ffc3c12d5 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -866,7 +866,7 @@ devref-configured-ocaml-interface.latex-dir \ user-configured-java-interface.latex-dir \ devref-configured-java-interface.latex-dir -TEX_ENV = TEXINPUTS=$(abs_srcdir):$(TEXINPUTS) +TEX_ENV = TEXINPUTS=$(abs_srcdir):$(TEXINPUTS) texmf_casefold_search=0 .SECONDARY: $(LATEX_DIRS) -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagn...@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagn...@bugseng.com
smime.p7s
Description: S/MIME Cryptographic Signature