From 4565cc280bf2d91f8f88ef74cc807ece4c91a243 Mon Sep 17 00:00:00 2001
From: Bart <bthomee@users.noreply.github.com>
Date: Mon, 8 Dec 2025 13:39:38 -0500
Subject: [PATCH] chore: Fix docs readme and cmake (#6122)

This change removes the unused `with_docs` option and fixes the README instructions on how to build the `docs` target.
---
 cmake/XrplDocs.cmake | 4 +---
 docs/README.md       | 4 ++--
 2 files changed, 3 insertions(+), 5 deletions(-)

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`.