From 6f2daa4e9834d0348c7eeec0dcb3dddbd98ca934 Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Mon, 17 Sep 2018 11:07:31 -0700
Subject: cmake: More documentation, clean up.

---
 doc/CMakeLists.txt | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'doc')

diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt
index ffa8b7725..5f71dd2b4 100644
--- a/doc/CMakeLists.txt
+++ b/doc/CMakeLists.txt
@@ -1,7 +1,12 @@
+#-----------------------------------------------------------------------------#
 # Set variables required for the documentation *.in files
+
 string(TIMESTAMP MAN_DATE "%Y-%m-%d")
 set(VERSION CVC4_RELEASE_STRING)
 
+#-----------------------------------------------------------------------------#
+# Generate files
+
 configure_file(
   ${CMAKE_CURRENT_SOURCE_DIR}/SmtEngine.3cvc_template.in
   ${CMAKE_CURRENT_BINARY_DIR}/SmtEngine.3cvc_template)
@@ -26,6 +31,9 @@ configure_file(
   ${CMAKE_CURRENT_SOURCE_DIR}/options.3cvc_template.in
   ${CMAKE_CURRENT_BINARY_DIR}/options.3cvc_template)
 
+#-----------------------------------------------------------------------------#
+# Install man pages
+
 install(FILES ${CMAKE_CURRENT_BINARY_DIR}/cvc4.1 DESTINATION share/man/man1)
 install(FILES ${CMAKE_CURRENT_BINARY_DIR}/cvc4.5 DESTINATION share/man/man5)
 if(ENABLE_PORTFOLIO)
-- 
cgit v1.2.3