diff --git a/docs/changes.txt b/docs/changes.txt
index 70fc9f5c6d..e12299d2ad 100644
--- a/docs/changes.txt
+++ b/docs/changes.txt
@@ -102,7 +102,7 @@ Changes in behaviour which may result in build errors
   removing its name.
 
 
-3.1.2: (released 2018-??-??)
+3.1.2: (released 2018-12-10)
 ----------------------------
 
 All:
diff --git a/docs/doxygen/mainpages/manual.h b/docs/doxygen/mainpages/manual.h
index aa180ff0df..5251aebe80 100644
--- a/docs/doxygen/mainpages/manual.h
+++ b/docs/doxygen/mainpages/manual.h
@@ -14,7 +14,7 @@
 @author Julian Smart, Vadim Zeitlin, Robin Dunn, Stefan Csomor,
         Bryan Petty, Francesco Montorsi, Robert Roebling et al
 
-@date February 19, 2018
+@date December 10, 2018
 
 @n