diff --git a/docs/source/ProgrammingGuide/Compiling.md b/docs/source/ProgrammingGuide/Compiling.md
index f9e595c5e..8c59e462e 100644
--- a/docs/source/ProgrammingGuide/Compiling.md
+++ b/docs/source/ProgrammingGuide/Compiling.md
@@ -127,7 +127,7 @@ There are numerous device backends, options, and architecture-specific optimizat
  -DCMAKE_INSTALL_PREFIX=${my_install_folder} \
  -DKokkos_ENABLE_OPENMP=On
 ```
-which activates the OpenMP backend. All the options controlling device backends, options, architectures, and third-party libraries (TPLs) are given below under the keywords listing.
+which activates the OpenMP backend. All the options controlling device backends, options, architectures, and third-party libraries (TPLs) are given in [CMake Keywords](../keywords).
 
 ### Using generate_makefile.bash
 As an alternative to calling the cmake command directly, the generate_makefile.bash command can be used to configure the CMake build environment.  The generate_makefile.bash equivalent to the above OpenMP example is as follows:
diff --git a/docs/source/building.md b/docs/source/building.md
index 0782772ac..0d6ad9bd9 100644
--- a/docs/source/building.md
+++ b/docs/source/building.md
@@ -47,7 +47,8 @@ There are numerous device backends, options, and architecture-specific optimizat
  -DCMAKE_INSTALL_PREFIX=${kokkos_install_folder} \
  -DKokkos_ENABLE_OPENMP=ON
 ````
-which activates the OpenMP backend. All the options controlling device backends, options, architectures, and third-party libraries (TPLs) are given below.
+which activates the OpenMP backend. All the options controlling device backends, options, architectures, and third-party libraries (TPLs) are given in [CMake Keywords](../keywords).
+
 
 ## Known Issues<a name="KnownIssues"></a>