diff --git a/doc/dev/BUILD.md b/doc/dev/BUILD.md
index 59330756565..ed52f860cf9 100644
--- a/doc/dev/BUILD.md
+++ b/doc/dev/BUILD.md
@@ -74,7 +74,7 @@ cmake .. -DCMAKE_BUILD_TYPE=Release -GNinja -DTILEDB_S3=ON
 
 ### Configuration options
 
-The following configuration options are available:
+The following are the most common configuration options:
 
 |macOS/Linux flag|Windows flag|CMake variable|Description|
 |----------------|------------|--------------|-----------|
@@ -97,6 +97,9 @@ The following configuration options are available:
 |`--disable-stats`|`-DisableStats`|`TILEDB_STATS=OFF`|Disables internal TileDB statistics|
 |`--disable-tests`|`-DisableTests`|`TILEDB_TESTS=OFF`|Disables building the TileDB test suite|
 
+> [!TIP]
+> You can see all TileDB-specific CMake variables in [BuildOptions.cmake](../../cmake/Options/BuildOptions.cmake).
+
 ## Building and installing
 
 Once the build tree has been configured, you can build and install TileDB by running the following commands from the build tree: