From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Tue, 13 Apr 2021 17:19:12 +0000 (-0700)
Subject: API docs: Add custom target to build for GH pages. (#6335)
X-Git-Tag: cvc5-1.0.0~1917
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cdb5c6e7e03e4717f21c5726f02763962c23a7b2;p=cvc5.git

API docs: Add custom target to build for GH pages. (#6335)
---

diff --git a/INSTALL.md b/INSTALL.md
index 1e4ce607e..14290afca 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -217,6 +217,10 @@ The API documentation can then be found at `<build_dir>/docs/sphinx/index.html`.
 To only build the documentation, change to the build directory and call
 `make docs`.
 
+To build the documentation for GitHub pages, change to the build directory
+and call `make docs-gh`. The content of directory `<build_dir>/docs/sphinx-gh`
+can then be copied over to GitHub pages.
+
 
 ## Building the Examples
 
diff --git a/docs/CMakeLists.txt b/docs/CMakeLists.txt
index 4b799615d..b65a10e47 100644
--- a/docs/CMakeLists.txt
+++ b/docs/CMakeLists.txt
@@ -45,9 +45,29 @@ set(SPHINX_OUTPUT_DIR ${CMAKE_CURRENT_BINARY_DIR}/sphinx)
 add_custom_target(docs ALL
                   DEPENDS docs-doxygen
                   COMMAND
-                  ${SPHINX_EXECUTABLE} -b html
-                  # Tell Breathe where to find the Doxygen output
-                  -Dbreathe_projects.cvc5=${DOXYGEN_OUTPUT_DIR}/xml
-                  ${SPHINX_INPUT_DIR} ${SPHINX_OUTPUT_DIR}
+                    ${SPHINX_EXECUTABLE} -b html
+                    # Tell Breathe where to find the Doxygen output
+                    -Dbreathe_projects.cvc5=${DOXYGEN_OUTPUT_DIR}/xml
+                    ${SPHINX_INPUT_DIR} ${SPHINX_OUTPUT_DIR}
                   WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}
                   COMMENT "Generating Sphinx Api docs")
+
+set(SPHINX_GH_OUTPUT_DIR ${CMAKE_CURRENT_BINARY_DIR}/sphinx-gh)
+add_custom_target(docs-gh ALL
+                  DEPENDS docs
+                  COMMAND ${CMAKE_COMMAND} -E remove_directory
+                    ${SPHINX_GH_OUTPUT_DIR}
+                  COMMAND ${CMAKE_COMMAND} -E copy_directory
+                    ${SPHINX_OUTPUT_DIR} ${SPHINX_GH_OUTPUT_DIR}
+                  COMMAND ${CMAKE_COMMAND} -E remove_directory
+                    ${SPHINX_GH_OUTPUT_DIR}/_sources
+                  COMMAND ${CMAKE_COMMAND} -E remove
+                    ${SPHINX_GH_OUTPUT_DIR}/objects.inv
+                  COMMAND ${CMAKE_COMMAND} -E rename
+                    ${SPHINX_GH_OUTPUT_DIR}/_static
+                    ${SPHINX_GH_OUTPUT_DIR}/static
+                  COMMAND find ${SPHINX_GH_OUTPUT_DIR} -type f |
+                    xargs sed -i'orig' 's/_static/static/'
+                  COMMAND find ${SPHINX_GH_OUTPUT_DIR} -name '*orig' -delete
+                  COMMENT "Generating GitHub Api docs")
+