From 7be22fb6cac25031efc242708719555624f54791 Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Tue, 11 Sep 2018 10:30:07 -0700
Subject: cmake: Various CMakeLists.txt fixes/cleanup.

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

(limited to 'doc')

diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt
index 52867433e..6e9ba73fd 100644
--- a/doc/CMakeLists.txt
+++ b/doc/CMakeLists.txt
@@ -1,3 +1,7 @@
+# Set variables required for the documentation *.in files
+string(TIMESTAMP MAN_DATE "%Y-%m-%d")
+set(VERSION CVC4_RELEASE_STRING)
+
 configure_file(
   ${CMAKE_CURRENT_SOURCE_DIR}/SmtEngine.3cvc_template.in
   ${CMAKE_CURRENT_BINARY_DIR}/SmtEngine.3cvc_template)
-- 
cgit v1.2.3