diff --git a/Makefile b/Makefile
index 612141e25..e8bd82d46 100644
--- a/Makefile
+++ b/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
diff --git a/doc/yices-sat.1 b/doc/yices-sat.1
index 620d5d44f..76609928f 100644
--- a/doc/yices-sat.1
+++ b/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 <bruno@csl.sri.com> and Dejan Jovanovic <dejan@csl.sri.com>.
diff --git a/doc/yices-smt.1 b/doc/yices-smt.1
index 4f6ec7511..c42408ec0 100644
--- a/doc/yices-smt.1
+++ b/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 <bruno@csl.sri.com> and Dejan Jovanovic <dejan@csl.sri.com>.
diff --git a/doc/yices-smt2.1 b/doc/yices-smt2.1
index 82aca712a..43df84460 100644
--- a/doc/yices-smt2.1
+++ b/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 <bruno@csl.sri.com> and Dejan Jovanovic <dejan@csl.sri.com>.
diff --git a/doc/yices.1 b/doc/yices.1
index bf9608b87..c3f1ee17b 100644
--- a/doc/yices.1
+++ b/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 <bruno@csl.sri.com> and Dejan Jovanovic <dejan@csl.sri.com>.