From 6256b3e534a4a2b67a7d130fcfb333da421ef2cd Mon Sep 17 00:00:00 2001
From: "A. Maitland Bottoms" <bottoms@debian.org>
Date: Thu, 5 Dec 2019 22:08:50 -0500
Subject: [PATCH 2/3] build docs

HTML_TIMESTAMP=NO allows reproducible builds.
---
 docs/doxygen/CMakeLists.txt | 8 +++++---
 docs/doxygen/Doxyfile.in    | 2 +-
 2 files changed, 6 insertions(+), 4 deletions(-)

--- a/docs/doxygen/CMakeLists.txt
+++ b/docs/doxygen/CMakeLists.txt
@@ -28,7 +28,7 @@
 
 set(HAVE_DOT ${DOXYGEN_DOT_FOUND})
 set(enable_html_docs YES)
-set(enable_latex_docs NO)
+set(enable_latex_docs YES)
 set(enable_xml_docs YES)
 
 configure_file(
@@ -36,7 +36,7 @@
     ${CMAKE_CURRENT_BINARY_DIR}/Doxyfile
 @ONLY)
 
-set(BUILT_DIRS ${CMAKE_CURRENT_BINARY_DIR}/xml ${CMAKE_CURRENT_BINARY_DIR}/html)
+set(BUILT_DIRS ${CMAKE_CURRENT_BINARY_DIR}/html ${CMAKE_CURRENT_BINARY_DIR}/latex)
 
 ########################################################################
 # Make and install doxygen docs
@@ -44,6 +44,8 @@
 add_custom_command(
     OUTPUT ${BUILT_DIRS}
     COMMAND ${DOXYGEN_EXECUTABLE} ${CMAKE_CURRENT_BINARY_DIR}/Doxyfile
+    COMMAND touch latex/namespaces.tex
+    COMMAND make -C latex refman.pdf
     WORKING_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}
     COMMENT "Generating documentation with doxygen"
 )
--- a/docs/doxygen/Doxyfile.in
+++ b/docs/doxygen/Doxyfile.in
@@ -1310,7 +1310,7 @@
 # The default value is: NO.
 # This tag requires that the tag GENERATE_HTML is set to YES.
 
-HTML_TIMESTAMP         = YES
+HTML_TIMESTAMP         = NO
 
 # If the HTML_DYNAMIC_MENUS tag is set to YES then the generated HTML
 # documentation will contain a main index with vertical navigation menus that
