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(-)

diff --git a/docs/doxygen/CMakeLists.txt b/docs/doxygen/CMakeLists.txt
index 66d0bea..420550a 100644
--- a/docs/doxygen/CMakeLists.txt
+++ b/docs/doxygen/CMakeLists.txt
@@ -28,15 +28,15 @@ file(TO_NATIVE_PATH ${CMAKE_BINARY_DIR} abs_top_builddir)
 
 set(HAVE_DOT ${DOXYGEN_DOT_FOUND})
 set(enable_html_docs YES)
-set(enable_latex_docs NO)
-set(enable_xml_docs YES)
+set(enable_latex_docs YES)
+set(enable_xml_docs NO)
 
 configure_file(
     ${CMAKE_CURRENT_SOURCE_DIR}/Doxyfile.in
     ${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 @@ set(BUILT_DIRS ${CMAKE_CURRENT_BINARY_DIR}/xml ${CMAKE_CURRENT_BINARY_DIR}/html)
 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"
 )
diff --git a/docs/doxygen/Doxyfile.in b/docs/doxygen/Doxyfile.in
index cb14187..d5783c8 100644
--- a/docs/doxygen/Doxyfile.in
+++ b/docs/doxygen/Doxyfile.in
@@ -989,7 +989,7 @@ HTML_COLORSTYLE_GAMMA  = 80
 # page will contain the date and time when the page was generated. Setting
 # this to NO can help when comparing the output of multiple runs.
 
-HTML_TIMESTAMP         = YES
+HTML_TIMESTAMP         = NO
 
 # If the HTML_DYNAMIC_SECTIONS tag is set to YES then the generated HTML
 # documentation will contain sections that can be hidden and shown after the
-- 
2.20.1

