Details
-
Improvement
-
Status: Closed
-
Major
-
Resolution: Fixed
-
1.13.4
Description
The user guide build script allows the user to build and preview the user guide.
When the script completes, it always deletes the user guide.
Allow the user to keep the compiled guide.
Relevant files:
dev-tools/docker/docs/preview-user-guide.sh
geode-book/README.md