From 3af104f3ccdb3ec3d1dec056ff71ccc2bb000e56 Mon Sep 17 00:00:00 2001 From: Richard Levitte Date: Sat, 13 Feb 2016 13:52:24 +0100 Subject: [PATCH] The unified build may delete installed manual files The installation of man files and html files alike didn't properly check that file names with different casing could be the same on case-insensitive file systems. This change fixes that. Reviewed-by: Rich Salz --- Configurations/unix-Makefile.tmpl | 18 ++++++++++++++++-- 1 file changed, 16 insertions(+), 2 deletions(-) diff --git a/Configurations/unix-Makefile.tmpl b/Configurations/unix-Makefile.tmpl index d416c21495..e09d060ef7 100644 --- a/Configurations/unix-Makefile.tmpl +++ b/Configurations/unix-Makefile.tmpl @@ -406,7 +406,14 @@ PROCESS_PODS=\ names=`cat $$p | $(EXTRACT_NAMES)`; \ ( cd $$top/man$$SEC; \ for n in $$names; do \ - if [ "$$n" != "$$fn" ]; then \ + comp_n="$$n"; \ + comp_fn="$$fn"; \ + case "$(PLATFORM)" in DJGPP|Cygwin*|mingw*|darwin*-*-cc) \ + comp_n=`echo "$$n" | tr [A-Z] [a-z]`; \ + comp_fn=`echo "$$fn" | tr [A-Z] [a-z]`; \ + ;; \ + esac; \ + if [ "$$comp_n" != "$$comp_fn" ]; then \ echo "link $$top/man$$SEC/$$n$$suf -> $$top/man$$SEC/$$fn$$suf"; \ PLATFORM=$(PLATFORM) $$point $$fn$$suf $$n$$suf; \ fi; \ @@ -429,7 +436,14 @@ UNINSTALL_DOCS=\ $(RM) $$top/man$$SEC/$$fn$$suf; \ names=`cat $$p | $(EXTRACT_NAMES)`; \ for n in $$names; do \ - if [ "$$n" != "$$fn" ]; then \ + comp_n="$$n"; \ + comp_fn="$$fn"; \ + case "$(PLATFORM)" in DJGPP|Cygwin*|mingw*|darwin*-*-cc) \ + comp_n=`echo "$$n" | tr [A-Z] [a-z]`; \ + comp_fn=`echo "$$fn" | tr [A-Z] [a-z]`; \ + ;; \ + esac; \ + if [ "$$comp_n" != "$$comp_fn" ]; then \ echo "$(RM) $$top/man$$SEC/$$n$$suf"; \ $(RM) $$top/man$$SEC/$$n$$suf; \ fi; \ -- 2.25.1