Fix forgotten BUILD.txt to BUILD

configs/mconfig.Linux

@@ -13,7 +13,7 @@ SYSCONTROLSOCKET=/run/dinitctl
 # General build options.
 
 # Linux (GCC). Note with GCC 5.x/6.x you must use the old ABI, with GCC 7.x you must use
-# the new ABI. See BUILD.txt file for more information.
+# the new ABI. See BUILD file for more information.
 CXX=g++
 CXXOPTS=-D_GLIBCXX_USE_CXX11_ABI=1 -std=c++11 -Os -Wall -fno-rtti -fno-plt -flto
 LDFLAGS=
@@ -21,7 +21,7 @@ BUILD_SHUTDOWN=yes
 SANITIZEOPTS=-fsanitize=address,undefined
 
 # Notes:
-#   -D_GLIBCXX_USE_CXX11_ABI=1 : force use of new ABI, see above / BUILD.txt
+#   -D_GLIBCXX_USE_CXX11_ABI=1 : force use of new ABI, see above / BUILD
 #   -fno-rtti (optional) : Dinit does not require C++ Run-time Type Information
 #   -fno-plt  (optional) : Recommended optimisation
 #   -flto     (optional) : Perform link-time optimisation

configs/mconfig.Linux.sh

@@ -76,7 +76,7 @@ GENERAL_BUILD_SETTINGS=$(
   echo "# General build options."
   echo ""
   echo "# Linux (GCC). Note with GCC 5.x/6.x you must use the old ABI, with GCC 7.x you must use"
-  echo "# the new ABI. See BUILD.txt file for more information."
+  echo "# the new ABI. See BUILD file for more information."
   echo "CXX=$compiler"
   echo "CXXOPTS=$BUILD_OPTS"
   echo "LDFLAGS="
@@ -84,7 +84,7 @@ GENERAL_BUILD_SETTINGS=$(
   echo "SANITIZEOPTS=$SANITIZE_OPTS"
   echo ""
   echo "# Notes:"
-  echo "#   -D_GLIBCXX_USE_CXX11_ABI=1 : force use of new ABI, see above / BUILD.txt"
+  echo "#   -D_GLIBCXX_USE_CXX11_ABI=1 : force use of new ABI, see above / BUILD"
   echo "#   -fno-rtti (optional) : Dinit does not require C++ Run-time Type Information"
   echo "#   -fno-plt  (optional) : Recommended optimisation"
   echo "#   -flto     (optional) : Perform link-time optimisation"

doc/getting_started.md

@@ -5,7 +5,7 @@ Dinit instance. When run as a regular user, Dinit can be used to supervise,
 start, and stop other processes (services) also running under the same user ID.
 
 We assume that Dinit has already been installed; i.e. we will only cover
-configuration here. See [../BUILD.txt](../BUILD.txt) for information on how to
+configuration here. See [../BUILD](../BUILD) for information on how to
 build Dinit from source and install it.
 
 We don't cover how to set up Dinit as a system "init". See [linux/DINIT-AS-INIT.md](linux/DINIT-AS-INIT.md)