Merge branch 'master' into regexRRVerifyregexRRVerify

7 files changed, 6 insertions, 27 deletions

diff --git a/doc/SmtEngine.3cvc_template.in b/doc/SmtEngine.3cvc_template.in
index 7eaa69cf1..b34500b50 100644
--- a/doc/SmtEngine.3cvc_template.in
+++ b/doc/SmtEngine.3cvc_template.in
@@ -47,8 +47,7 @@ See the AUTHORS file in the distribution for a full list of
 contributors.
 .SH "SEE ALSO"
 .BR libcvc4 (3),
-.BR libcvc4parser (3),
-.BR libcvc4compat (3)
+.BR libcvc4parser (3)
 
 Additionally, the CVC4 wiki contains useful information about the
 design and internals of CVC4.  It is maintained at
diff --git a/doc/cvc4.1_template.in b/doc/cvc4.1_template.in
index 90ae938ab..042d6cfc1 100644
--- a/doc/cvc4.1_template.in
+++ b/doc/cvc4.1_template.in
@@ -124,8 +124,7 @@ See the AUTHORS file in the distribution for a full list of
 contributors.
 .SH "SEE ALSO"
 .BR libcvc4 (3),
-.BR libcvc4parser (3),
-.BR libcvc4compat (3)
+.BR libcvc4parser (3)
 
 Additionally, the CVC4 wiki contains useful information about the
 design and internals of CVC4.  It is maintained at
diff --git a/doc/cvc4.5.in b/doc/cvc4.5.in
index c8629bffa..d66110f63 100644
--- a/doc/cvc4.5.in
+++ b/doc/cvc4.5.in
@@ -13,8 +13,7 @@ to background theories of interest.
 .SH "SEE ALSO"
 .BR cvc4 (1),
 .BR libcvc4 (3),
-.BR libcvc4parser (3),
-.BR libcvc4compat (3)
+.BR libcvc4parser (3)
 
 Additionally, the CVC4 wiki contains useful information about the
 design and internals of CVC4.  It is maintained at
diff --git a/doc/libcvc4.3.in b/doc/libcvc4.3.in
index bf5fde577..279c18954 100644
--- a/doc/libcvc4.3.in
+++ b/doc/libcvc4.3.in
@@ -57,8 +57,7 @@ is used primarily to make assertions, check satisfiability/validity, and extract
 
 .SH "SEE ALSO"
 .BR cvc4 (1),
-.BR libcvc4parser (3),
-.BR libcvc4compat (3)
+.BR libcvc4parser (3)
 
 Additionally, the CVC4 wiki contains useful information about the
 design and internals of CVC4.  It is maintained at
diff --git a/doc/libcvc4compat.3.in b/doc/libcvc4compat.3.in
deleted file mode 100644
index fbb21e6a8..000000000
--- a/doc/libcvc4compat.3.in
+++ /dev/null
@@ -1,15 +0,0 @@
-.\" Process this file with
-.\" groff -man -Tascii libcvc4compat.3
-.\"
-.TH LIBCVC4COMPAT 3 "@MAN_DATE@" "CVC4 release @VERSION@" "CVC4 Library Interfaces"
-.SH NAME
-libcvc4compat \- a CVC3 compatibility library interface for the CVC4 theorem prover
-.SH DESCRIPTION
-.SH "SEE ALSO"
-.BR cvc4 (1),
-.BR libcvc4 (3),
-.BR libcvc4parser (3)
-
-Additionally, the CVC4 wiki contains useful information about the
-design and internals of CVC4.  It is maintained at
-.BR http://cvc4.cs.stanford.edu/wiki/ .
diff --git a/doc/libcvc4parser.3.in b/doc/libcvc4parser.3.in
index 7971a8822..f288daf83 100644
--- a/doc/libcvc4parser.3.in
+++ b/doc/libcvc4parser.3.in
@@ -7,8 +7,7 @@ libcvc4parser \- a parser library interface for the CVC4 theorem prover
 .SH DESCRIPTION
 .SH "SEE ALSO"
 .BR cvc4 (1),
-.BR libcvc4 (3),
-.BR libcvc4compat (3)
+.BR libcvc4 (3)
 
 Additionally, the CVC4 wiki contains useful information about the
 design and internals of CVC4.  It is maintained at
diff --git a/doc/options.3cvc_template.in b/doc/options.3cvc_template.in
index 477963036..7eb472a32 100644
--- a/doc/options.3cvc_template.in
+++ b/doc/options.3cvc_template.in
@@ -35,8 +35,7 @@ See the AUTHORS file in the distribution for a full list of
 contributors.
 .SH "SEE ALSO"
 .BR libcvc4 (3),
-.BR libcvc4parser (3),
-.BR libcvc4compat (3)
+.BR libcvc4parser (3)
 
 Additionally, the CVC4 wiki contains useful information about the
 design and internals of CVC4.  It is maintained at