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 1) detected at line 9
> [][][]
> pdfTeX warning (ext4): destination with the same identifier (name{page.1})
> has
> been already used, duplicate ignored
>
>\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 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
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