From bdde561925f9027743cf19c1f0d49591aee85cff Mon Sep 17 00:00:00 2001
From: Martin McGrane <mmcgrane@it.usyd.edu.au>
Date: Mon, 24 Aug 2020 14:32:06 +1000
Subject: [PATCH] Stop auto-updates of date and version in man pages.

The contents of the man pages are not automatically updated, so the
automatically updated date/version are not correct.
---
 .gitignore                                      | 4 ----
 configure.ac                                    | 2 +-
 man/{souffle-compile.1.in => souffle-compile.1} | 4 ++--
 man/{souffle-config.1.in => souffle-config.1}   | 4 ++--
 man/{souffle-profile.1.in => souffle-profile.1} | 4 ++--
 man/{souffle.1.in => souffle.1}                 | 4 ++--
 6 files changed, 9 insertions(+), 13 deletions(-)
 rename man/{souffle-compile.1.in => souffle-compile.1} (92%)
 rename man/{souffle-config.1.in => souffle-config.1} (89%)
 rename man/{souffle-profile.1.in => souffle-profile.1} (95%)
 rename man/{souffle.1.in => souffle.1} (98%)

diff --git a/.gitignore b/.gitignore
index e1cd77e9223..c9a2ebfb9b6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -46,7 +46,3 @@ stamp-h1
 
 utilities/bash-completion
 debian/changelog
-/man/souffle-compile.1
-/man/souffle-config.1
-/man/souffle-profile.1
-/man/souffle.1
diff --git a/configure.ac b/configure.ac
index f025a2792f1..676f991a9d7 100644
--- a/configure.ac
+++ b/configure.ac
@@ -291,6 +291,6 @@ AC_SUBST(SOUFFLE_CXXFLAGS)
 CXXFLAGS="-Wall -Wextra $CXXFLAGS $ENV_CXXFLAGS"
 
 AC_OUTPUT(
-  [ src/souffle-compile src/souffle-config debian/changelog man/souffle.1 man/souffle-compile.1 man/souffle-config.1 man/souffle-profile.1],
+  [ src/souffle-compile src/souffle-config debian/changelog ],
   [ chmod +x src/souffle-compile src/souffle-config ]
 )
diff --git a/man/souffle-compile.1.in b/man/souffle-compile.1
similarity index 92%
rename from man/souffle-compile.1.in
rename to man/souffle-compile.1
index beed5301c8f..bfa41f354c4 100644
--- a/man/souffle-compile.1.in
+++ b/man/souffle-compile.1
@@ -1,4 +1,4 @@
-.TH SOUFFLE-COMPILE 1 @ISODATE@
+.TH SOUFFLE-COMPILE 1 2020-07-29
 
 .SH NAME
 .B souffle-compile
@@ -39,7 +39,7 @@ Enable warnings
 souffle-compile [options] <FILE>.cpp
 
 .SH VERSION
-@PACKAGE_VERSION@
+2.0.1
 
 .SH LICENSE
 Copyright (c) 2016 Oracle and/or its affiliates. All Rights reserved.
diff --git a/man/souffle-config.1.in b/man/souffle-config.1
similarity index 89%
rename from man/souffle-config.1.in
rename to man/souffle-config.1
index 89421be127a..f6bb3804cd9 100644
--- a/man/souffle-config.1.in
+++ b/man/souffle-config.1
@@ -1,4 +1,4 @@
-.TH SOUFFLE-CONFIG 1 @ISODATE@
+.TH SOUFFLE-CONFIG 1 2020-07-29
 
 .SH NAME
 .B souffle-config - short description of souffle-config
@@ -22,7 +22,7 @@ show a help page.
 list the libraries needed to compile with souffle.
 
 .SH VERSION
-@PACKAGE_VERSION@
+2.0.1
 
 .SH LICENSE
 Copyright (c) 2016 Oracle and/or its affiliates. All Rights reserved.
diff --git a/man/souffle-profile.1.in b/man/souffle-profile.1
similarity index 95%
rename from man/souffle-profile.1.in
rename to man/souffle-profile.1
index 449f1ad6db9..c117bcd4a43 100644
--- a/man/souffle-profile.1.in
+++ b/man/souffle-profile.1
@@ -1,4 +1,4 @@
-.TH SOUFFLE-PROFILE 1 @ISODATE@
+.TH SOUFFLE-PROFILE 1 2020-07-29
 
 .SH NAME
 .B souffle-profile 
@@ -41,7 +41,7 @@ enable profiling of a running program
 .B souffle-profile -v | -h | <log-file> [ -c <command> | -j | -l ]
 
 .SH VERSION
-@PACKAGE_VERSION@
+2.0.1
 
 .SH LICENSE
 Copyright (c) 2016 Oracle and/or its affiliates. All Rights reserved.
diff --git a/man/souffle.1.in b/man/souffle.1
similarity index 98%
rename from man/souffle.1.in
rename to man/souffle.1
index 5f1497b75dd..0513ca9dd92 100644
--- a/man/souffle.1.in
+++ b/man/souffle.1
@@ -1,4 +1,4 @@
-.TH SOUFFLE 1 @ISODATE@
+.TH SOUFFLE 1 2020-07-29
 
 .SH NAME
 .B souffle
@@ -115,7 +115,7 @@ souffle program.dl
 souffle -c program.dl -Ffacts -D- -j20
 
 .SH VERSION
-@PACKAGE_VERSION@
+2.0.1
 
 .SH LICENSE
 Copyright (c) 2016 Oracle and/or its affiliates. All Rights reserved.