From ffeb34d0d7c893ee30bb9083b9c4e1b36423c1ed Mon Sep 17 00:00:00 2001
From: Gereon Kremer <nafur42@gmail.com>
Date: Wed, 6 Oct 2021 08:55:55 -0700
Subject: [PATCH] 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.
---
 docs/api/java/CMakeLists.txt | 2 ++
 1 file changed, 2 insertions(+)

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"
   )
-- 
2.30.2