Package: ppl / 1:1.2-7

fix_latex_build.patch Patch series | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
commit addd0535f36e4a2734b9b5321e2e0ad398c5e20c
Author: Roberto Bagnara <roberto.bagnara@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)