From: Gereon Kremer <nafur42@gmail.com>
Date: Wed, 6 Oct 2021 15:55:55 +0000 (-0700)
Subject: Remove timestamped javadoc comments (#7304)
X-Git-Tag: cvc5-1.0.0~1119
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ffeb34d0d7c893ee30bb9083b9c4e1b36423c1ed;p=cvc5.git

Remove timestamped javadoc comments (#7304)

This PR also removes the javadoc timestamps from index.html, which for some reason does not honor the -notimestamp option.
---

diff --git a/docs/api/java/CMakeLists.txt b/docs/api/java/CMakeLists.txt
index 6515fc29f..96a5d80b6 100644
--- a/docs/api/java/CMakeLists.txt
+++ b/docs/api/java/CMakeLists.txt
@@ -33,6 +33,8 @@ if(BUILD_BINDINGS_JAVA)
       -d ${JAVADOC_OUTPUT_DIR}
       -cp ${CMAKE_BINARY_DIR}/src/api/java/cvc5.jar
       -notimestamp
+    COMMAND find ${JAVADOC_OUTPUT_DIR} -type f -exec sed -i'orig' 's/<!-- Generated by javadoc [^>]* -->//' {} "\;"
+    COMMAND find ${SPHINX_GH_OUTPUT_DIR} -name '*orig' -delete
     DEPENDS cvc5jar ${SOURCES}
     COMMENT "Generating javadocs"
   )