diff --git a/cmake/XrplDocs.cmake b/cmake/XrplDocs.cmake
index dda277bffa..a99bbe076b 100644
--- a/cmake/XrplDocs.cmake
+++ b/cmake/XrplDocs.cmake
@@ -2,9 +2,7 @@
    docs target (optional)
 #]===================================================================]
 
-option(with_docs "Include the docs target?" FALSE)
-
-if(NOT (with_docs OR only_docs))
+if(NOT only_docs)
   return()
 endif()
 
diff --git a/docs/README.md b/docs/README.md
index c95a871729..35fcbba2d1 100644
--- a/docs/README.md
+++ b/docs/README.md
@@ -54,8 +54,8 @@ There is a `docs` target in the CMake configuration.
 ```
 mkdir build
 cd build
-cmake ..
-cmake --build . --target docs
+cmake -Donly_docs=ON ..
+cmake --build . --target docs --parallel
 ```
 
 The output will be in `build/docs/html`.