ste

чување e8bbee678e1513fd79648d606fa00d28341af8ef
родитељ 6f14b4d005ba5b8936058ae648e7c8d547861740
Аутор: Страхиња Радић <contact@strahinja.org>
Датум:   Thu, 28 Sep 2023 14:53:54 +0200

Make config.redo behave more like config.mk; synchronize changes to build
scripts and INSTALL from sled

Signed-off-by: Страхиња Радић <contact@strahinja.org>

Diffstat:
M
.gitignore
 | 
1
-
M
INSTALL
 | 
7
+++----
A
config.redo
 | 
1
+
M
install.do
 | 
5
+----
M
uninstall.do
 | 
5
+----

измењених датотека: 5, додавања: 6(+), брисања: 13(-)
diff --git a/.gitignore b/.gitignore
@@ -15,7 +15,6 @@
 nohup.out
 *.gz
 *.xz
-config.redo
 ste
 *.1
 *.1.html
diff --git a/INSTALL b/INSTALL
@@ -37,7 +37,6 @@ if you don't:
 Persistent build configuration file
 -----------------------------------
 
-If a file config.redo exists in the build directory, it will be sourced when
-building targets which also accept configuration through environment variables.
-For example, PREFIX can be specified in config.redo, eliminating the need to
-pass it with each build.
+The file config.redo will be sourced when building targets which also accept
+configuration through environment variables.  For example, PREFIX is specified
+in config.redo.
diff --git a/config.redo b/config.redo
@@ -0,0 +1 @@
+PREFIX=${PREFIX:-/usr/local}
diff --git a/install.do b/install.do
@@ -1,8 +1,5 @@
 redo-ifchange all
-if [ -r ./config.redo ]; then
-	. ./config.redo
-fi
-PREFIX=${PREFIX:-/usr/local}
+. ./config.redo
 BINDIR=$PREFIX/bin
 #DOCDIR=$PREFIX/share/doc/ste
 MANDIR=$PREFIX/share/man/man1
diff --git a/uninstall.do b/uninstall.do
@@ -1,8 +1,5 @@
 redo-always
-if [ -r ./config.redo ]; then
-	. ./config.redo
-fi
-PREFIX=${PREFIX:-/usr/local}
+. ./config.redo
 BINDIR=$PREFIX/bin
 #DOCDIR=$PREFIX/share/doc/ste
 MANDIR=$PREFIX/share/man/man1