Version bump, continued

Makefile

@@ -52,6 +52,7 @@ YICES_TOP_DIR=$(shell pwd)
 # src/include/yices.h
 # doc/manual/manual.tex
 # doc/sphinx/source/conf.py
+# doc/yices*.1 man files
 #
 MAJOR = 2
 MINOR = 6

doc/yices-sat.1

@@ -1,4 +1,4 @@
-.TH YICES-SAT 1 "June 2017" "Yices 2.6.0" "User Commands"
+.TH YICES-SAT 1 "October 2018" "Yices 2.6.1" "User Commands"
 .SH NAME
 yices-sat \- the Yices Sat solver
 .SH SYNOPSIS
@@ -37,7 +37,7 @@ For bug reporting and other information, please visit http://yices.csl.sri.com.
 .
 .SH AUTHORS
 .PP
-Copyright (C) SRI International, 2017.
+Copyright (C) SRI International.
 .PP
 Yices is developed at SRI's Computer Science Laboratory. The main developers
 are Bruno Dutertre <[email protected]> and Dejan Jovanovic <[email protected]>.

doc/yices-smt.1

@@ -1,4 +1,4 @@
-.TH YICES-SMT 1 "June 2017" "Yices 2.6.0" "User Commands"
+.TH YICES-SMT 1 "October 2018" "Yices 2.6.1" "User Commands"
 .SH NAME
 yices-smt \- the Yices SMT solver for the SMT-LIB 1.2 language
 .SH SYNOPSIS
@@ -53,7 +53,7 @@ For bug reporting and other information, please visit http://yices.csl.sri.com.
 .
 .SH AUTHORS
 .PP
-Copyright (C) SRI International, 2017.
+Copyright (C) SRI International.
 .PP
 Yices is developed at SRI's Computer Science Laboratory. The main developers
 are Bruno Dutertre <[email protected]> and Dejan Jovanovic <[email protected]>.

doc/yices-smt2.1

@@ -1,4 +1,4 @@
-.TH YICES-SMT2 1 "June 2017" "Yices 2.6.0" "User Commands"
+.TH YICES-SMT2 1 "October 2018" "Yices 2.6.1" "User Commands"
 .SH NAME
 yices-smt2 \- the Yices SMT solver for the SMT-LIB 2 language
 .SH SYNOPSIS
@@ -59,7 +59,7 @@ To report bugs and to get the full documentation, please visit http://yices.csl.
 .
 .SH AUTHORS
 .PP
-Copyright (C) SRI International, 2017.
+Copyright (C) SRI International.
 .PP
 Yices is developed at SRI's Computer Science Laboratory. The main developers
 are Bruno Dutertre <[email protected]> and Dejan Jovanovic <[email protected]>.

doc/yices.1

@@ -1,4 +1,4 @@
-.TH YICES 1 "June 2017" "Yices 2.6.0" "User Commands"
+.TH YICES 1 "October 2018" "Yices 2.6.1" "User Commands"
 .SH NAME
 yices \- the Yices SMT solver for the Yices language
 .SH SYNOPSIS
@@ -93,7 +93,7 @@ To report bugs and to get the full documentation, please visit http://yices.csl.
 .
 .SH AUTHORS
 .PP
-Copyright (C) SRI International, 2017.
+Copyright (C) SRI International.
 .PP
 Yices is developed at SRI's Computer Science Laboratory. The main developers
 are Bruno Dutertre <[email protected]> and Dejan Jovanovic <[email protected]>.