From c330b75d9ccecd7ae3cc9716629a48b22235c509 Mon Sep 17 00:00:00 2001 From: Daniel Gustafsson Date: Wed, 19 Jan 2022 14:48:25 +0100 Subject: [PATCH] Dynamically find correct installation docs in Makefile. The base Makefile will output help to the user when invoking make in an unconfigured tree, the help was however always referring to a file which may not be present as it's only in tarballs. Dynamically check for the presence of the INSTALL file and fall back on README.git when it's not available (which is the case of Git checkouts). Reported-by: Tim McNamara Reviewed-by: Magnus Hagander Reviewed-by: Peter Eisentraut Reviewed-by: Tom Lane Discussion: https://postgr.es/m/730dae39-abaa-4140-893b-95d732fed003@www.fastmail.com --- Makefile | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 99dcfff654..c66fb3027b 100644 --- a/Makefile +++ b/Makefile @@ -17,8 +17,14 @@ all: all check install installdirs installcheck installcheck-parallel uninstall clean distclean maintainer-clean dist distcheck world check-world install-world installcheck-world: @if [ ! -f GNUmakefile ] ; then \ + if [ -f INSTALL ] ; then \ + INSTRUCTIONS="INSTALL"; \ + else \ + INSTRUCTIONS="README.git"; \ + fi; \ echo "You need to run the 'configure' program first. See the file"; \ - echo "'INSTALL' for installation instructions." ; \ + echo "'$$INSTRUCTIONS' for installation instructions, or visit: " ; \ + echo "" ; \ false ; \ fi @IFS=':' ; \