diff --git a/INSTALL.md b/INSTALL.md
index 652073479..f6ebb332f 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -123,6 +123,7 @@ but must be `Debug` for use of `USE_COVERAGE`.
 * `DFSG_BUILD=off`: leave out all content considered non-free under the Debian Free
                     Software Guidelines
 * `BUILD_TESTING=on`: build test targets
+* `BUILD_EXECUTABLES=on`: build any executables (as opposed to libs)
 * `USE_ASAN=off`: build with AddressSanitizer
 * `USE_CXX=on`: build C++ code (requires a C++ compiler)
 * `USE_COVERAGE=off`: build coverage support (for developers, requires use of Clang)
diff --git a/README.md b/README.md
index 04dfbf52e..5e1fc71f8 100644
--- a/README.md
+++ b/README.md
@@ -119,7 +119,7 @@ may well be possible to use still older versions. Let me know of any successes!
 * (OPTIONAL) (python bindings): Python 3.7+, [CFFI](https://pypi.org/project/cffi/) 1.13.2+, [pypandoc](https://pypi.org/project/pypandoc/) 1.5+
 * (runtime) Linux 5.3+, FreeBSD 11+, DragonFly BSD 5.9+, Windows 10 v1093+, or macOS 11.4+
 
-[Here's more information](INSTALL.md) on building and installation.
+More information on building and installation is available in [INSTALL.md](INSTALL.md).
 
 ### Wrappers