Update version in html tests, rpm spec file, and user manual

50 files changed, 50 insertions, 50 deletions

diff --git a/tests/html-tests/tests/A.html.ref b/tests/html-tests/tests/A.html.ref
index 17765b50..328fec02 100644
--- a/tests/html-tests/tests/A.html.ref
+++ b/tests/html-tests/tests/A.html.ref
@@ -176,7 +176,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_A.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/B.html.ref b/tests/html-tests/tests/B.html.ref
index 71872ce0..410bc75b 100644
--- a/tests/html-tests/tests/B.html.ref
+++ b/tests/html-tests/tests/B.html.ref
@@ -168,7 +168,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_B.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Bug1.html.ref b/tests/html-tests/tests/Bug1.html.ref
index 128a4787..f8a86948 100644
--- a/tests/html-tests/tests/Bug1.html.ref
+++ b/tests/html-tests/tests/Bug1.html.ref
@@ -96,7 +96,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug1.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Bug2.html.ref b/tests/html-tests/tests/Bug2.html.ref
index c883bf9b..813035a6 100644
--- a/tests/html-tests/tests/Bug2.html.ref
+++ b/tests/html-tests/tests/Bug2.html.ref
@@ -58,7 +58,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug2.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Bug3.html.ref b/tests/html-tests/tests/Bug3.html.ref
index 379f46c5..76d4e730 100644
--- a/tests/html-tests/tests/Bug3.html.ref
+++ b/tests/html-tests/tests/Bug3.html.ref
@@ -76,7 +76,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug3.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Bug4.html.ref b/tests/html-tests/tests/Bug4.html.ref
index efb49b7f..9e852978 100644
--- a/tests/html-tests/tests/Bug4.html.ref
+++ b/tests/html-tests/tests/Bug4.html.ref
@@ -75,7 +75,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug4.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Bug6.html.ref b/tests/html-tests/tests/Bug6.html.ref
index c2385a15..606e45e3 100644
--- a/tests/html-tests/tests/Bug6.html.ref
+++ b/tests/html-tests/tests/Bug6.html.ref
@@ -328,7 +328,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug6.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Bug7.html.ref b/tests/html-tests/tests/Bug7.html.ref
index 0d1fa85f..8ac72b16 100644
--- a/tests/html-tests/tests/Bug7.html.ref
+++ b/tests/html-tests/tests/Bug7.html.ref
@@ -166,7 +166,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug7.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Bug8.html.ref b/tests/html-tests/tests/Bug8.html.ref
index 23b9142a..469151f1 100644
--- a/tests/html-tests/tests/Bug8.html.ref
+++ b/tests/html-tests/tests/Bug8.html.ref
@@ -124,7 +124,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug8.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/BugDeprecated.html.ref b/tests/html-tests/tests/BugDeprecated.html.ref
index 043f62b0..f632d670 100644
--- a/tests/html-tests/tests/BugDeprecated.html.ref
+++ b/tests/html-tests/tests/BugDeprecated.html.ref
@@ -185,7 +185,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugDeprecated.html");}
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/BugExportHeadings.html.ref b/tests/html-tests/tests/BugExportHeadings.html.ref
index d6643cb1..d3298b2e 100644
--- a/tests/html-tests/tests/BugExportHeadings.html.ref
+++ b/tests/html-tests/tests/BugExportHeadings.html.ref
@@ -210,7 +210,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugExportHeadings.html
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Bugs.html.ref b/tests/html-tests/tests/Bugs.html.ref
index 9f269c10..c5a4ca9d 100644
--- a/tests/html-tests/tests/Bugs.html.ref
+++ b/tests/html-tests/tests/Bugs.html.ref
@@ -74,7 +74,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bugs.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/CrossPackageDocs.html.ref b/tests/html-tests/tests/CrossPackageDocs.html.ref
index d8127213..fea3d0cc 100644
--- a/tests/html-tests/tests/CrossPackageDocs.html.ref
+++ b/tests/html-tests/tests/CrossPackageDocs.html.ref
@@ -291,7 +291,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_CrossPackageDocs.html"
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/DeprecatedClass.html.ref b/tests/html-tests/tests/DeprecatedClass.html.ref
index a7a04a3b..21806843 100644
--- a/tests/html-tests/tests/DeprecatedClass.html.ref
+++ b/tests/html-tests/tests/DeprecatedClass.html.ref
@@ -150,7 +150,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedClass.html")
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/DeprecatedData.html.ref b/tests/html-tests/tests/DeprecatedData.html.ref
index fbe7380c..c7ea7579 100644
--- a/tests/html-tests/tests/DeprecatedData.html.ref
+++ b/tests/html-tests/tests/DeprecatedData.html.ref
@@ -185,7 +185,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedData.html");
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/DeprecatedFunction.html.ref b/tests/html-tests/tests/DeprecatedFunction.html.ref
index 0737bb8d..a44d2265 100644
--- a/tests/html-tests/tests/DeprecatedFunction.html.ref
+++ b/tests/html-tests/tests/DeprecatedFunction.html.ref
@@ -79,7 +79,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedFunction.htm
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/DeprecatedFunction2.html.ref b/tests/html-tests/tests/DeprecatedFunction2.html.ref
index 90db77c0..5b8c8b6c 100644
--- a/tests/html-tests/tests/DeprecatedFunction2.html.ref
+++ b/tests/html-tests/tests/DeprecatedFunction2.html.ref
@@ -76,7 +76,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedFunction2.ht
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/DeprecatedFunction3.html.ref b/tests/html-tests/tests/DeprecatedFunction3.html.ref
index 5b7c545c..942e12b8 100644
--- a/tests/html-tests/tests/DeprecatedFunction3.html.ref
+++ b/tests/html-tests/tests/DeprecatedFunction3.html.ref
@@ -76,7 +76,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedFunction3.ht
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/DeprecatedModule.html.ref b/tests/html-tests/tests/DeprecatedModule.html.ref
index c93d9ca4..7c035bf9 100644
--- a/tests/html-tests/tests/DeprecatedModule.html.ref
+++ b/tests/html-tests/tests/DeprecatedModule.html.ref
@@ -73,7 +73,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedModule.html"
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/DeprecatedModule2.html.ref b/tests/html-tests/tests/DeprecatedModule2.html.ref
index 68f161de..c2a61074 100644
--- a/tests/html-tests/tests/DeprecatedModule2.html.ref
+++ b/tests/html-tests/tests/DeprecatedModule2.html.ref
@@ -68,7 +68,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedModule2.html
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/DeprecatedNewtype.html.ref b/tests/html-tests/tests/DeprecatedNewtype.html.ref
index ad0a8a93..2a854dd9 100644
--- a/tests/html-tests/tests/DeprecatedNewtype.html.ref
+++ b/tests/html-tests/tests/DeprecatedNewtype.html.ref
@@ -150,7 +150,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedNewtype.html
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/DeprecatedRecord.html.ref b/tests/html-tests/tests/DeprecatedRecord.html.ref
index e1f60526..77839ca7 100644
--- a/tests/html-tests/tests/DeprecatedRecord.html.ref
+++ b/tests/html-tests/tests/DeprecatedRecord.html.ref
@@ -143,7 +143,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedRecord.html"
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/DeprecatedTypeFamily.html.ref b/tests/html-tests/tests/DeprecatedTypeFamily.html.ref
index 3737215d..cd091802 100644
--- a/tests/html-tests/tests/DeprecatedTypeFamily.html.ref
+++ b/tests/html-tests/tests/DeprecatedTypeFamily.html.ref
@@ -99,7 +99,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedTypeFamily.h
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/DeprecatedTypeSynonym.html.ref b/tests/html-tests/tests/DeprecatedTypeSynonym.html.ref
index 226b5332..e148012a 100644
--- a/tests/html-tests/tests/DeprecatedTypeSynonym.html.ref
+++ b/tests/html-tests/tests/DeprecatedTypeSynonym.html.ref
@@ -107,7 +107,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedTypeSynonym.
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Examples.html.ref b/tests/html-tests/tests/Examples.html.ref
index 44312f64..7ebe7770 100644
--- a/tests/html-tests/tests/Examples.html.ref
+++ b/tests/html-tests/tests/Examples.html.ref
@@ -172,7 +172,7 @@ bar
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/FunArgs.html.ref b/tests/html-tests/tests/FunArgs.html.ref
index f7661e73..6c87d1e6 100644
--- a/tests/html-tests/tests/FunArgs.html.ref
+++ b/tests/html-tests/tests/FunArgs.html.ref
@@ -169,7 +169,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_FunArgs.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/GADTRecords.html.ref b/tests/html-tests/tests/GADTRecords.html.ref
index 29562219..e3fcd2fe 100644
--- a/tests/html-tests/tests/GADTRecords.html.ref
+++ b/tests/html-tests/tests/GADTRecords.html.ref
@@ -227,7 +227,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_GADTRecords.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Hash.html.ref b/tests/html-tests/tests/Hash.html.ref
index b1061237..b0cd183c 100644
--- a/tests/html-tests/tests/Hash.html.ref
+++ b/tests/html-tests/tests/Hash.html.ref
@@ -330,7 +330,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Hash.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/HiddenInstances.html.ref b/tests/html-tests/tests/HiddenInstances.html.ref
index 4624abed..999c114d 100644
--- a/tests/html-tests/tests/HiddenInstances.html.ref
+++ b/tests/html-tests/tests/HiddenInstances.html.ref
@@ -162,7 +162,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_HiddenInstances.html")
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/HiddenInstancesB.html.ref b/tests/html-tests/tests/HiddenInstancesB.html.ref
index 6847372f..207a5146 100644
--- a/tests/html-tests/tests/HiddenInstancesB.html.ref
+++ b/tests/html-tests/tests/HiddenInstancesB.html.ref
@@ -136,7 +136,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_HiddenInstancesB.html"
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Hyperlinks.html.ref b/tests/html-tests/tests/Hyperlinks.html.ref
index a75b29fc..e7351a63 100644
--- a/tests/html-tests/tests/Hyperlinks.html.ref
+++ b/tests/html-tests/tests/Hyperlinks.html.ref
@@ -82,7 +82,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Hyperlinks.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/IgnoreExports.html.ref b/tests/html-tests/tests/IgnoreExports.html.ref
index 9338559f..c661b48c 100644
--- a/tests/html-tests/tests/IgnoreExports.html.ref
+++ b/tests/html-tests/tests/IgnoreExports.html.ref
@@ -94,7 +94,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_IgnoreExports.html");}
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/ModuleWithWarning.html.ref b/tests/html-tests/tests/ModuleWithWarning.html.ref
index c06b0ef5..6a427259 100644
--- a/tests/html-tests/tests/ModuleWithWarning.html.ref
+++ b/tests/html-tests/tests/ModuleWithWarning.html.ref
@@ -73,7 +73,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_ModuleWithWarning.html
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/NamedDoc.html.ref b/tests/html-tests/tests/NamedDoc.html.ref
index ed4473fd..d2b8ede1 100644
--- a/tests/html-tests/tests/NamedDoc.html.ref
+++ b/tests/html-tests/tests/NamedDoc.html.ref
@@ -61,7 +61,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_NamedDoc.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/NoLayout.html.ref b/tests/html-tests/tests/NoLayout.html.ref
index d12d9832..871add05 100644
--- a/tests/html-tests/tests/NoLayout.html.ref
+++ b/tests/html-tests/tests/NoLayout.html.ref
@@ -79,7 +79,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_NoLayout.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/NonGreedy.html.ref b/tests/html-tests/tests/NonGreedy.html.ref
index 02d4ec5c..23d3f695 100644
--- a/tests/html-tests/tests/NonGreedy.html.ref
+++ b/tests/html-tests/tests/NonGreedy.html.ref
@@ -75,7 +75,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_NonGreedy.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Properties.html.ref b/tests/html-tests/tests/Properties.html.ref
index 431f0d93..1c4ce893 100644
--- a/tests/html-tests/tests/Properties.html.ref
+++ b/tests/html-tests/tests/Properties.html.ref
@@ -85,7 +85,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Properties.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/PruneWithWarning.html.ref b/tests/html-tests/tests/PruneWithWarning.html.ref
index 738ea2f8..2d6ef694 100644
--- a/tests/html-tests/tests/PruneWithWarning.html.ref
+++ b/tests/html-tests/tests/PruneWithWarning.html.ref
@@ -48,7 +48,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_PruneWithWarning.html"
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/QuasiExpr.html.ref b/tests/html-tests/tests/QuasiExpr.html.ref
index b3eaaf1d..0a699f35 100644
--- a/tests/html-tests/tests/QuasiExpr.html.ref
+++ b/tests/html-tests/tests/QuasiExpr.html.ref
@@ -214,7 +214,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_QuasiExpr.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/QuasiQuote.html.ref b/tests/html-tests/tests/QuasiQuote.html.ref
index c1dc6c60..f61f2b84 100644
--- a/tests/html-tests/tests/QuasiQuote.html.ref
+++ b/tests/html-tests/tests/QuasiQuote.html.ref
@@ -58,7 +58,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_QuasiQuote.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/TH.html.ref b/tests/html-tests/tests/TH.html.ref
index 7ab7db74..086d6a4a 100644
--- a/tests/html-tests/tests/TH.html.ref
+++ b/tests/html-tests/tests/TH.html.ref
@@ -56,7 +56,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TH.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/TH2.html.ref b/tests/html-tests/tests/TH2.html.ref
index 38a5e203..4d4a8914 100644
--- a/tests/html-tests/tests/TH2.html.ref
+++ b/tests/html-tests/tests/TH2.html.ref
@@ -56,7 +56,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TH2.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Test.html.ref b/tests/html-tests/tests/Test.html.ref
index 78193fa3..f2ef2b28 100644
--- a/tests/html-tests/tests/Test.html.ref
+++ b/tests/html-tests/tests/Test.html.ref
@@ -2238,7 +2238,7 @@ test2
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Ticket112.html.ref b/tests/html-tests/tests/Ticket112.html.ref
index b674c602..c5c61703 100644
--- a/tests/html-tests/tests/Ticket112.html.ref
+++ b/tests/html-tests/tests/Ticket112.html.ref
@@ -75,7 +75,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Ticket112.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Ticket61.html.ref b/tests/html-tests/tests/Ticket61.html.ref
index 44fdfad6..8c22488b 100644
--- a/tests/html-tests/tests/Ticket61.html.ref
+++ b/tests/html-tests/tests/Ticket61.html.ref
@@ -73,7 +73,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Ticket61.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Ticket75.html.ref b/tests/html-tests/tests/Ticket75.html.ref
index 64d4336c..cd510ea5 100644
--- a/tests/html-tests/tests/Ticket75.html.ref
+++ b/tests/html-tests/tests/Ticket75.html.ref
@@ -109,7 +109,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Ticket75.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/TypeFamilies.html.ref b/tests/html-tests/tests/TypeFamilies.html.ref
index ee78d574..196d60ec 100644
--- a/tests/html-tests/tests/TypeFamilies.html.ref
+++ b/tests/html-tests/tests/TypeFamilies.html.ref
@@ -205,7 +205,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/TypeOperators.html.ref b/tests/html-tests/tests/TypeOperators.html.ref
index 19b9bf05..2b18727f 100644
--- a/tests/html-tests/tests/TypeOperators.html.ref
+++ b/tests/html-tests/tests/TypeOperators.html.ref
@@ -178,7 +178,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeOperators.html");}
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Unicode.html.ref b/tests/html-tests/tests/Unicode.html.ref
index 01c7d509..13ef6c1e 100644
--- a/tests/html-tests/tests/Unicode.html.ref
+++ b/tests/html-tests/tests/Unicode.html.ref
@@ -75,7 +75,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Unicode.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Visible.html.ref b/tests/html-tests/tests/Visible.html.ref
index 711f580c..de8b8d80 100644
--- a/tests/html-tests/tests/Visible.html.ref
+++ b/tests/html-tests/tests/Visible.html.ref
@@ -60,7 +60,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Visible.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.0</p
+	> version 2.13.1</p
       ></div
     ></body
   ></html