From f04697ba7cc9ab5a97917f907be100f727d2ff91 Mon Sep 17 00:00:00 2001 From: Bram Matthys Date: Mon, 29 Mar 2021 19:09:37 +0200 Subject: [PATCH] Add disclaimer to config.settings. --- Config | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/Config b/Config index 57ca7fbaf..93ec45bca 100755 --- a/Config +++ b/Config @@ -760,6 +760,13 @@ fi rm -f config.settings cat > config.settings << __EOF__ # +# These are the settings saved from running './Config'. +# Note that it is not recommended to edit config.settings by hand! +# Chances are you misunderstand what a variable does or what the +# supported values are. You better just re-run the ./Config script +# and answer appropriately there, to get a correct config.settings +# file. +# BASEPATH="$BASEPATH" BINDIR="$BINDIR" DATADIR="$DATADIR"