Bump version

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 ec9dc975..17765b50 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/B.html.ref b/tests/html-tests/tests/B.html.ref
index a3a32711..71872ce0 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Bug1.html.ref b/tests/html-tests/tests/Bug1.html.ref
index ad59f00c..128a4787 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Bug2.html.ref b/tests/html-tests/tests/Bug2.html.ref
index 9b66e4cb..c883bf9b 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Bug3.html.ref b/tests/html-tests/tests/Bug3.html.ref
index 3fe7adcb..379f46c5 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Bug4.html.ref b/tests/html-tests/tests/Bug4.html.ref
index a36140b1..efb49b7f 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Bug6.html.ref b/tests/html-tests/tests/Bug6.html.ref
index b28fbe9c..c2385a15 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Bug7.html.ref b/tests/html-tests/tests/Bug7.html.ref
index f63d7297..0d1fa85f 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Bug8.html.ref b/tests/html-tests/tests/Bug8.html.ref
index 3f708a38..23b9142a 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/BugDeprecated.html.ref b/tests/html-tests/tests/BugDeprecated.html.ref
index 303bf11e..043f62b0 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/BugExportHeadings.html.ref b/tests/html-tests/tests/BugExportHeadings.html.ref
index 91d94d0b..d6643cb1 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Bugs.html.ref b/tests/html-tests/tests/Bugs.html.ref
index 3ea34893..9f269c10 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/CrossPackageDocs.html.ref b/tests/html-tests/tests/CrossPackageDocs.html.ref
index d0a306af..d8127213 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/DeprecatedClass.html.ref b/tests/html-tests/tests/DeprecatedClass.html.ref
index cc6aca71..a7a04a3b 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/DeprecatedData.html.ref b/tests/html-tests/tests/DeprecatedData.html.ref
index ffd0506c..fbe7380c 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/DeprecatedFunction.html.ref b/tests/html-tests/tests/DeprecatedFunction.html.ref
index ff8513b3..0737bb8d 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/DeprecatedFunction2.html.ref b/tests/html-tests/tests/DeprecatedFunction2.html.ref
index 64ac8029..90db77c0 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/DeprecatedFunction3.html.ref b/tests/html-tests/tests/DeprecatedFunction3.html.ref
index 45be9fee..5b7c545c 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/DeprecatedModule.html.ref b/tests/html-tests/tests/DeprecatedModule.html.ref
index 2352e3e8..c93d9ca4 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/DeprecatedModule2.html.ref b/tests/html-tests/tests/DeprecatedModule2.html.ref
index d7ae063d..68f161de 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/DeprecatedNewtype.html.ref b/tests/html-tests/tests/DeprecatedNewtype.html.ref
index 83f18777..ad0a8a93 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/DeprecatedRecord.html.ref b/tests/html-tests/tests/DeprecatedRecord.html.ref
index 08749470..e1f60526 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/DeprecatedTypeFamily.html.ref b/tests/html-tests/tests/DeprecatedTypeFamily.html.ref
index 0c2d5677..3737215d 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/DeprecatedTypeSynonym.html.ref b/tests/html-tests/tests/DeprecatedTypeSynonym.html.ref
index 7cea8770..226b5332 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Examples.html.ref b/tests/html-tests/tests/Examples.html.ref
index 714ba4c9..44312f64 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/FunArgs.html.ref b/tests/html-tests/tests/FunArgs.html.ref
index 0c551487..f7661e73 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/GADTRecords.html.ref b/tests/html-tests/tests/GADTRecords.html.ref
index bb6d3398..29562219 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Hash.html.ref b/tests/html-tests/tests/Hash.html.ref
index 889ec1d9..b1061237 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/HiddenInstances.html.ref b/tests/html-tests/tests/HiddenInstances.html.ref
index 163008f6..4624abed 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/HiddenInstancesB.html.ref b/tests/html-tests/tests/HiddenInstancesB.html.ref
index 39ddd283..6847372f 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Hyperlinks.html.ref b/tests/html-tests/tests/Hyperlinks.html.ref
index d8cd7757..a75b29fc 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/IgnoreExports.html.ref b/tests/html-tests/tests/IgnoreExports.html.ref
index 0a42572a..9338559f 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/ModuleWithWarning.html.ref b/tests/html-tests/tests/ModuleWithWarning.html.ref
index a7358018..c06b0ef5 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/NamedDoc.html.ref b/tests/html-tests/tests/NamedDoc.html.ref
index 56da6d84..ed4473fd 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/NoLayout.html.ref b/tests/html-tests/tests/NoLayout.html.ref
index 6951a63a..d12d9832 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/NonGreedy.html.ref b/tests/html-tests/tests/NonGreedy.html.ref
index 80cd0fc0..02d4ec5c 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Properties.html.ref b/tests/html-tests/tests/Properties.html.ref
index 8fd918bf..431f0d93 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/PruneWithWarning.html.ref b/tests/html-tests/tests/PruneWithWarning.html.ref
index e5c1ea5b..738ea2f8 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/QuasiExpr.html.ref b/tests/html-tests/tests/QuasiExpr.html.ref
index 288af484..b3eaaf1d 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/QuasiQuote.html.ref b/tests/html-tests/tests/QuasiQuote.html.ref
index 30e124b9..c1dc6c60 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/TH.html.ref b/tests/html-tests/tests/TH.html.ref
index 711b7b2a..7ab7db74 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/TH2.html.ref b/tests/html-tests/tests/TH2.html.ref
index 56955ce5..38a5e203 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Test.html.ref b/tests/html-tests/tests/Test.html.ref
index 3ee3706b..78193fa3 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Ticket112.html.ref b/tests/html-tests/tests/Ticket112.html.ref
index dfda7125..b674c602 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Ticket61.html.ref b/tests/html-tests/tests/Ticket61.html.ref
index 6dcdb59e..44fdfad6 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Ticket75.html.ref b/tests/html-tests/tests/Ticket75.html.ref
index 4f8f466a..64d4336c 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/TypeFamilies.html.ref b/tests/html-tests/tests/TypeFamilies.html.ref
index ccd771f0..ee78d574 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/TypeOperators.html.ref b/tests/html-tests/tests/TypeOperators.html.ref
index 519547d6..19b9bf05 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Unicode.html.ref b/tests/html-tests/tests/Unicode.html.ref
index 74c8fa90..01c7d509 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html
diff --git a/tests/html-tests/tests/Visible.html.ref b/tests/html-tests/tests/Visible.html.ref
index 2b829d3c..711f580c 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.12.0</p
+	> version 2.13.0</p
       ></div
     ></body
   ></html