From faf426df787f0feea54e8fcef8c9d79393a6bd4d Mon Sep 17 00:00:00 2001
From: David Waern <david.waern@gmail.com>
Date: Mon, 23 Jul 2012 16:52:07 +0200
Subject: Bump version number.

---
 doc/haddock.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/haddock.xml b/doc/haddock.xml
index 27dd69d8..7ddfdccd 100644
--- a/doc/haddock.xml
+++ b/doc/haddock.xml
@@ -21,7 +21,7 @@
       <holder>Simon Marlow, David Waern</holder>
     </copyright>
     <abstract>
-      <para>This document describes Haddock version 2.11.0, a Haskell
+      <para>This document describes Haddock version 2.12.0, a Haskell
       documentation tool.</para>
     </abstract>
   </bookinfo>
-- 
cgit v1.2.3


From ff2e024f737017d32e3dc39a7ab2322d54e56ca3 Mon Sep 17 00:00:00 2001
From: Simon Hengel <sol@typeful.net>
Date: Sat, 8 Sep 2012 12:08:37 +0200
Subject: Update doc/README

---
 doc/README | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc')

diff --git a/doc/README b/doc/README
index ab9c0f2f..5bc038bf 100644
--- a/doc/README
+++ b/doc/README
@@ -8,6 +8,7 @@ process the documentation on your system, and a Makefile to actually
 do the processing (so, on Windows, you'll need Cygwin or MSys in
 addition to the DocBook XML tools).  To build the HTML documentation:
 
+   $ autoconf
    $ ./configure
    $ make html
 
-- 
cgit v1.2.3


From 0f6c13f66ea335bf371ab49125371ac665de6cf8 Mon Sep 17 00:00:00 2001
From: Simon Hengel <sol@typeful.net>
Date: Sat, 8 Sep 2012 12:17:17 +0200
Subject: Add documentation for URL labels

---
 doc/haddock.xml | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'doc')

diff --git a/doc/haddock.xml b/doc/haddock.xml
index 7ddfdccd..a38b70cf 100644
--- a/doc/haddock.xml
+++ b/doc/haddock.xml
@@ -1830,6 +1830,13 @@ module A where
 	<literal>&lt;...&gt;</literal>.  If the output format supports
 	it, the URL will be turned into a hyperlink when
 	rendered.</para>
+
+        The URL can be followed by an optional label:
+<programlisting>
+&lt;http://example.com label&gt;
+</programlisting>
+        The label is then used as a descriptive text for the hyperlink, if the
+        output format supports it.
       </section>
 
       <section>
-- 
cgit v1.2.3


From 48a391729e2d00caf0b86d3612e34135a7379200 Mon Sep 17 00:00:00 2001
From: Simon Hengel <sol@typeful.net>
Date: Wed, 10 Oct 2012 11:16:01 +0200
Subject: Bump version

---
 doc/haddock.xml                                       | 2 +-
 haddock.cabal                                         | 2 +-
 haddock.spec                                          | 2 +-
 tests/html-tests/tests/A.html.ref                     | 2 +-
 tests/html-tests/tests/B.html.ref                     | 2 +-
 tests/html-tests/tests/Bug1.html.ref                  | 2 +-
 tests/html-tests/tests/Bug2.html.ref                  | 2 +-
 tests/html-tests/tests/Bug3.html.ref                  | 2 +-
 tests/html-tests/tests/Bug4.html.ref                  | 2 +-
 tests/html-tests/tests/Bug6.html.ref                  | 2 +-
 tests/html-tests/tests/Bug7.html.ref                  | 2 +-
 tests/html-tests/tests/Bug8.html.ref                  | 2 +-
 tests/html-tests/tests/BugDeprecated.html.ref         | 2 +-
 tests/html-tests/tests/BugExportHeadings.html.ref     | 2 +-
 tests/html-tests/tests/Bugs.html.ref                  | 2 +-
 tests/html-tests/tests/CrossPackageDocs.html.ref      | 2 +-
 tests/html-tests/tests/DeprecatedClass.html.ref       | 2 +-
 tests/html-tests/tests/DeprecatedData.html.ref        | 2 +-
 tests/html-tests/tests/DeprecatedFunction.html.ref    | 2 +-
 tests/html-tests/tests/DeprecatedFunction2.html.ref   | 2 +-
 tests/html-tests/tests/DeprecatedFunction3.html.ref   | 2 +-
 tests/html-tests/tests/DeprecatedModule.html.ref      | 2 +-
 tests/html-tests/tests/DeprecatedModule2.html.ref     | 2 +-
 tests/html-tests/tests/DeprecatedNewtype.html.ref     | 2 +-
 tests/html-tests/tests/DeprecatedRecord.html.ref      | 2 +-
 tests/html-tests/tests/DeprecatedTypeFamily.html.ref  | 2 +-
 tests/html-tests/tests/DeprecatedTypeSynonym.html.ref | 2 +-
 tests/html-tests/tests/Examples.html.ref              | 2 +-
 tests/html-tests/tests/FunArgs.html.ref               | 2 +-
 tests/html-tests/tests/GADTRecords.html.ref           | 2 +-
 tests/html-tests/tests/Hash.html.ref                  | 2 +-
 tests/html-tests/tests/HiddenInstances.html.ref       | 2 +-
 tests/html-tests/tests/HiddenInstancesB.html.ref      | 2 +-
 tests/html-tests/tests/Hyperlinks.html.ref            | 2 +-
 tests/html-tests/tests/IgnoreExports.html.ref         | 2 +-
 tests/html-tests/tests/ModuleWithWarning.html.ref     | 2 +-
 tests/html-tests/tests/NamedDoc.html.ref              | 2 +-
 tests/html-tests/tests/NoLayout.html.ref              | 2 +-
 tests/html-tests/tests/NonGreedy.html.ref             | 2 +-
 tests/html-tests/tests/Properties.html.ref            | 2 +-
 tests/html-tests/tests/PruneWithWarning.html.ref      | 2 +-
 tests/html-tests/tests/QuasiExpr.html.ref             | 2 +-
 tests/html-tests/tests/QuasiQuote.html.ref            | 2 +-
 tests/html-tests/tests/TH.html.ref                    | 2 +-
 tests/html-tests/tests/TH2.html.ref                   | 2 +-
 tests/html-tests/tests/Test.html.ref                  | 2 +-
 tests/html-tests/tests/Ticket112.html.ref             | 2 +-
 tests/html-tests/tests/Ticket61.html.ref              | 2 +-
 tests/html-tests/tests/Ticket75.html.ref              | 2 +-
 tests/html-tests/tests/TypeFamilies.html.ref          | 2 +-
 tests/html-tests/tests/TypeOperators.html.ref         | 2 +-
 tests/html-tests/tests/Unicode.html.ref               | 2 +-
 tests/html-tests/tests/Visible.html.ref               | 2 +-
 53 files changed, 53 insertions(+), 53 deletions(-)

(limited to 'doc')

diff --git a/doc/haddock.xml b/doc/haddock.xml
index a38b70cf..90946e12 100644
--- a/doc/haddock.xml
+++ b/doc/haddock.xml
@@ -21,7 +21,7 @@
       <holder>Simon Marlow, David Waern</holder>
     </copyright>
     <abstract>
-      <para>This document describes Haddock version 2.12.0, a Haskell
+      <para>This document describes Haddock version 2.13.0, a Haskell
       documentation tool.</para>
     </abstract>
   </bookinfo>
diff --git a/haddock.cabal b/haddock.cabal
index ec274445..d6864f85 100644
--- a/haddock.cabal
+++ b/haddock.cabal
@@ -1,5 +1,5 @@
 name:                 haddock
-version:              2.12.0
+version:              2.13.0
 synopsis:             A documentation-generation tool for Haskell libraries
 description:          Haddock is a documentation-generation tool for Haskell
                       libraries
diff --git a/haddock.spec b/haddock.spec
index d8821a4a..594d87b1 100644
--- a/haddock.spec
+++ b/haddock.spec
@@ -17,7 +17,7 @@
 # version label of your release tarball.
 
 %define name    haddock
-%define version 2.12.0
+%define version 2.13.0
 %define release 1
 
 Name:           %{name}
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
-- 
cgit v1.2.3


From 2490fd357e2842932ef83b771ac75d5cde0c2e5d Mon Sep 17 00:00:00 2001
From: Simon Hengel <sol@typeful.net>
Date: Wed, 10 Oct 2012 13:56:04 +0200
Subject: Fix typo in documentation

---
 doc/haddock.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/haddock.xml b/doc/haddock.xml
index 90946e12..7a2f1e8e 100644
--- a/doc/haddock.xml
+++ b/doc/haddock.xml
@@ -1658,7 +1658,7 @@ module A where
 	by zero or more result lines:</para>
 
 <programlisting>
--- | Two examples are given bellow:
+-- | Two examples are given below:
 --
 -- &gt;&gt;&gt; fib 10
 -- 55
-- 
cgit v1.2.3


From 98dcade7ac447886c9e39ae3f7ce0f2094db5e74 Mon Sep 17 00:00:00 2001
From: Simon Hengel <sol@typeful.net>
Date: Wed, 10 Oct 2012 14:28:35 +0200
Subject: Add documentation for properties

---
 doc/haddock.xml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'doc')

diff --git a/doc/haddock.xml b/doc/haddock.xml
index 7a2f1e8e..4620fc89 100644
--- a/doc/haddock.xml
+++ b/doc/haddock.xml
@@ -1672,6 +1672,18 @@ module A where
 	generated documenation.</para>
       </section>
 
+      <section>
+	<title>Properties</title>
+        <para>
+          Haddock provides markup for properties:
+<programlisting>
+-- | Addition is commutative:
+--
+-- prop> a + b = b + a
+</programlisting>
+          This allows third-party applications to extract and verify them.
+        </para>
+      </section>
 
       <section>
 	<title>Hyperlinked Identifiers</title>
-- 
cgit v1.2.3


From 4c3ac64baa1117f127b1f3d620dec7276495cdb4 Mon Sep 17 00:00:00 2001
From: Simon Hengel <sol@typeful.net>
Date: Sat, 13 Oct 2012 13:40:59 +0200
Subject: Update version in html tests, rpm spec file, and user manual

---
 doc/haddock.xml                                       | 2 +-
 haddock.spec                                          | 2 +-
 tests/html-tests/tests/A.html.ref                     | 2 +-
 tests/html-tests/tests/B.html.ref                     | 2 +-
 tests/html-tests/tests/Bug1.html.ref                  | 2 +-
 tests/html-tests/tests/Bug2.html.ref                  | 2 +-
 tests/html-tests/tests/Bug3.html.ref                  | 2 +-
 tests/html-tests/tests/Bug4.html.ref                  | 2 +-
 tests/html-tests/tests/Bug6.html.ref                  | 2 +-
 tests/html-tests/tests/Bug7.html.ref                  | 2 +-
 tests/html-tests/tests/Bug8.html.ref                  | 2 +-
 tests/html-tests/tests/BugDeprecated.html.ref         | 2 +-
 tests/html-tests/tests/BugExportHeadings.html.ref     | 2 +-
 tests/html-tests/tests/Bugs.html.ref                  | 2 +-
 tests/html-tests/tests/CrossPackageDocs.html.ref      | 2 +-
 tests/html-tests/tests/DeprecatedClass.html.ref       | 2 +-
 tests/html-tests/tests/DeprecatedData.html.ref        | 2 +-
 tests/html-tests/tests/DeprecatedFunction.html.ref    | 2 +-
 tests/html-tests/tests/DeprecatedFunction2.html.ref   | 2 +-
 tests/html-tests/tests/DeprecatedFunction3.html.ref   | 2 +-
 tests/html-tests/tests/DeprecatedModule.html.ref      | 2 +-
 tests/html-tests/tests/DeprecatedModule2.html.ref     | 2 +-
 tests/html-tests/tests/DeprecatedNewtype.html.ref     | 2 +-
 tests/html-tests/tests/DeprecatedRecord.html.ref      | 2 +-
 tests/html-tests/tests/DeprecatedTypeFamily.html.ref  | 2 +-
 tests/html-tests/tests/DeprecatedTypeSynonym.html.ref | 2 +-
 tests/html-tests/tests/Examples.html.ref              | 2 +-
 tests/html-tests/tests/FunArgs.html.ref               | 2 +-
 tests/html-tests/tests/GADTRecords.html.ref           | 2 +-
 tests/html-tests/tests/Hash.html.ref                  | 2 +-
 tests/html-tests/tests/HiddenInstances.html.ref       | 2 +-
 tests/html-tests/tests/HiddenInstancesB.html.ref      | 2 +-
 tests/html-tests/tests/Hyperlinks.html.ref            | 2 +-
 tests/html-tests/tests/IgnoreExports.html.ref         | 2 +-
 tests/html-tests/tests/ModuleWithWarning.html.ref     | 2 +-
 tests/html-tests/tests/NamedDoc.html.ref              | 2 +-
 tests/html-tests/tests/NoLayout.html.ref              | 2 +-
 tests/html-tests/tests/NonGreedy.html.ref             | 2 +-
 tests/html-tests/tests/Properties.html.ref            | 2 +-
 tests/html-tests/tests/PruneWithWarning.html.ref      | 2 +-
 tests/html-tests/tests/QuasiExpr.html.ref             | 2 +-
 tests/html-tests/tests/QuasiQuote.html.ref            | 2 +-
 tests/html-tests/tests/TH.html.ref                    | 2 +-
 tests/html-tests/tests/TH2.html.ref                   | 2 +-
 tests/html-tests/tests/Test.html.ref                  | 2 +-
 tests/html-tests/tests/Ticket112.html.ref             | 2 +-
 tests/html-tests/tests/Ticket61.html.ref              | 2 +-
 tests/html-tests/tests/Ticket75.html.ref              | 2 +-
 tests/html-tests/tests/TypeFamilies.html.ref          | 2 +-
 tests/html-tests/tests/TypeOperators.html.ref         | 2 +-
 tests/html-tests/tests/Unicode.html.ref               | 2 +-
 tests/html-tests/tests/Visible.html.ref               | 2 +-
 52 files changed, 52 insertions(+), 52 deletions(-)

(limited to 'doc')

diff --git a/doc/haddock.xml b/doc/haddock.xml
index 4620fc89..4e4447dc 100644
--- a/doc/haddock.xml
+++ b/doc/haddock.xml
@@ -21,7 +21,7 @@
       <holder>Simon Marlow, David Waern</holder>
     </copyright>
     <abstract>
-      <para>This document describes Haddock version 2.13.0, a Haskell
+      <para>This document describes Haddock version 2.13.1, a Haskell
       documentation tool.</para>
     </abstract>
   </bookinfo>
diff --git a/haddock.spec b/haddock.spec
index 594d87b1..401f1e8a 100644
--- a/haddock.spec
+++ b/haddock.spec
@@ -17,7 +17,7 @@
 # version label of your release tarball.
 
 %define name    haddock
-%define version 2.13.0
+%define version 2.13.1
 %define release 1
 
 Name:           %{name}
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
-- 
cgit v1.2.3


From e2c75d48f4dfd4140e977d097a95aa06b614fa24 Mon Sep 17 00:00:00 2001
From: Simon Hengel <sol@typeful.net>
Date: Fri, 7 Dec 2012 19:52:58 +0100
Subject: Bump version

---
 doc/haddock.xml                                  | 2 +-
 haddock.cabal                                    | 2 +-
 haddock.spec                                     | 2 +-
 html-test/ref/A.html                             | 2 +-
 html-test/ref/AdvanceTypes.html                  | 2 +-
 html-test/ref/B.html                             | 2 +-
 html-test/ref/Bug1.html                          | 2 +-
 html-test/ref/Bug2.html                          | 2 +-
 html-test/ref/Bug3.html                          | 2 +-
 html-test/ref/Bug4.html                          | 2 +-
 html-test/ref/Bug6.html                          | 2 +-
 html-test/ref/Bug7.html                          | 2 +-
 html-test/ref/Bug8.html                          | 2 +-
 html-test/ref/BugDeprecated.html                 | 2 +-
 html-test/ref/BugExportHeadings.html             | 2 +-
 html-test/ref/Bugs.html                          | 2 +-
 html-test/ref/CrossPackageDocs.html              | 2 +-
 html-test/ref/DeprecatedClass.html               | 2 +-
 html-test/ref/DeprecatedData.html                | 2 +-
 html-test/ref/DeprecatedFunction.html            | 2 +-
 html-test/ref/DeprecatedFunction2.html           | 2 +-
 html-test/ref/DeprecatedFunction3.html           | 2 +-
 html-test/ref/DeprecatedModule.html              | 2 +-
 html-test/ref/DeprecatedModule2.html             | 2 +-
 html-test/ref/DeprecatedNewtype.html             | 2 +-
 html-test/ref/DeprecatedReExport.html            | 2 +-
 html-test/ref/DeprecatedRecord.html              | 2 +-
 html-test/ref/DeprecatedTypeFamily.html          | 2 +-
 html-test/ref/DeprecatedTypeSynonym.html         | 2 +-
 html-test/ref/DeprecationMessageParseError.html  | 2 +-
 html-test/ref/Examples.html                      | 2 +-
 html-test/ref/FunArgs.html                       | 2 +-
 html-test/ref/GADTRecords.html                   | 2 +-
 html-test/ref/Hash.html                          | 2 +-
 html-test/ref/HiddenInstances.html               | 2 +-
 html-test/ref/HiddenInstancesB.html              | 2 +-
 html-test/ref/Hyperlinks.html                    | 2 +-
 html-test/ref/IgnoreExports.html                 | 2 +-
 html-test/ref/ModuleWithWarning.html             | 2 +-
 html-test/ref/NamedDoc.html                      | 2 +-
 html-test/ref/NoLayout.html                      | 2 +-
 html-test/ref/NonGreedy.html                     | 2 +-
 html-test/ref/Properties.html                    | 2 +-
 html-test/ref/PruneWithWarning.html              | 2 +-
 html-test/ref/QuasiExpr.html                     | 2 +-
 html-test/ref/QuasiQuote.html                    | 2 +-
 html-test/ref/SpuriousSuperclassConstraints.html | 2 +-
 html-test/ref/TH.html                            | 2 +-
 html-test/ref/TH2.html                           | 2 +-
 html-test/ref/Test.html                          | 2 +-
 html-test/ref/Ticket112.html                     | 2 +-
 html-test/ref/Ticket61.html                      | 2 +-
 html-test/ref/Ticket75.html                      | 2 +-
 html-test/ref/TypeFamilies.html                  | 2 +-
 html-test/ref/TypeOperators.html                 | 2 +-
 html-test/ref/Unicode.html                       | 2 +-
 html-test/ref/Visible.html                       | 2 +-
 57 files changed, 57 insertions(+), 57 deletions(-)

(limited to 'doc')

diff --git a/doc/haddock.xml b/doc/haddock.xml
index 4e4447dc..139b2830 100644
--- a/doc/haddock.xml
+++ b/doc/haddock.xml
@@ -21,7 +21,7 @@
       <holder>Simon Marlow, David Waern</holder>
     </copyright>
     <abstract>
-      <para>This document describes Haddock version 2.13.1, a Haskell
+      <para>This document describes Haddock version 2.13.2, a Haskell
       documentation tool.</para>
     </abstract>
   </bookinfo>
diff --git a/haddock.cabal b/haddock.cabal
index 99bf5e4a..06a85364 100644
--- a/haddock.cabal
+++ b/haddock.cabal
@@ -1,5 +1,5 @@
 name:                 haddock
-version:              2.13.1
+version:              2.13.2
 synopsis:             A documentation-generation tool for Haskell libraries
 description:          Haddock is a documentation-generation tool for Haskell
                       libraries
diff --git a/haddock.spec b/haddock.spec
index 401f1e8a..9d6ea8f6 100644
--- a/haddock.spec
+++ b/haddock.spec
@@ -17,7 +17,7 @@
 # version label of your release tarball.
 
 %define name    haddock
-%define version 2.13.1
+%define version 2.13.2
 %define release 1
 
 Name:           %{name}
diff --git a/html-test/ref/A.html b/html-test/ref/A.html
index 328fec02..9a60933e 100644
--- a/html-test/ref/A.html
+++ b/html-test/ref/A.html
@@ -176,7 +176,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_A.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/AdvanceTypes.html b/html-test/ref/AdvanceTypes.html
index bac545be..c18e13fc 100644
--- a/html-test/ref/AdvanceTypes.html
+++ b/html-test/ref/AdvanceTypes.html
@@ -90,7 +90,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_AdvanceTypes.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/B.html b/html-test/ref/B.html
index 410bc75b..050e89a8 100644
--- a/html-test/ref/B.html
+++ b/html-test/ref/B.html
@@ -168,7 +168,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_B.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/Bug1.html b/html-test/ref/Bug1.html
index f8a86948..72733816 100644
--- a/html-test/ref/Bug1.html
+++ b/html-test/ref/Bug1.html
@@ -96,7 +96,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug1.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/Bug2.html b/html-test/ref/Bug2.html
index 813035a6..a6a65b1e 100644
--- a/html-test/ref/Bug2.html
+++ b/html-test/ref/Bug2.html
@@ -58,7 +58,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug2.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/Bug3.html b/html-test/ref/Bug3.html
index 76d4e730..2c32e070 100644
--- a/html-test/ref/Bug3.html
+++ b/html-test/ref/Bug3.html
@@ -76,7 +76,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug3.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/Bug4.html b/html-test/ref/Bug4.html
index 9e852978..ba726c27 100644
--- a/html-test/ref/Bug4.html
+++ b/html-test/ref/Bug4.html
@@ -75,7 +75,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug4.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/Bug6.html b/html-test/ref/Bug6.html
index 606e45e3..17fab740 100644
--- a/html-test/ref/Bug6.html
+++ b/html-test/ref/Bug6.html
@@ -328,7 +328,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug6.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/Bug7.html b/html-test/ref/Bug7.html
index 8ac72b16..a86a75c2 100644
--- a/html-test/ref/Bug7.html
+++ b/html-test/ref/Bug7.html
@@ -166,7 +166,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug7.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html
index 469151f1..4655db6f 100644
--- a/html-test/ref/Bug8.html
+++ b/html-test/ref/Bug8.html
@@ -124,7 +124,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug8.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/BugDeprecated.html b/html-test/ref/BugDeprecated.html
index 913b189d..879b04fc 100644
--- a/html-test/ref/BugDeprecated.html
+++ b/html-test/ref/BugDeprecated.html
@@ -191,7 +191,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugDeprecated.html");}
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html
index 457e2c50..4832d7fb 100644
--- a/html-test/ref/BugExportHeadings.html
+++ b/html-test/ref/BugExportHeadings.html
@@ -213,7 +213,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugExportHeadings.html
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/Bugs.html b/html-test/ref/Bugs.html
index c5a4ca9d..96fbe9e8 100644
--- a/html-test/ref/Bugs.html
+++ b/html-test/ref/Bugs.html
@@ -74,7 +74,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bugs.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/CrossPackageDocs.html b/html-test/ref/CrossPackageDocs.html
index fea3d0cc..e2925558 100644
--- a/html-test/ref/CrossPackageDocs.html
+++ b/html-test/ref/CrossPackageDocs.html
@@ -291,7 +291,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_CrossPackageDocs.html"
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/DeprecatedClass.html b/html-test/ref/DeprecatedClass.html
index d716c1d8..f73216ba 100644
--- a/html-test/ref/DeprecatedClass.html
+++ b/html-test/ref/DeprecatedClass.html
@@ -154,7 +154,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedClass.html")
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/DeprecatedData.html b/html-test/ref/DeprecatedData.html
index 24758345..d1a29021 100644
--- a/html-test/ref/DeprecatedData.html
+++ b/html-test/ref/DeprecatedData.html
@@ -191,7 +191,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedData.html");
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/DeprecatedFunction.html b/html-test/ref/DeprecatedFunction.html
index 1fc678bb..8d0e7d6b 100644
--- a/html-test/ref/DeprecatedFunction.html
+++ b/html-test/ref/DeprecatedFunction.html
@@ -103,7 +103,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedFunction.htm
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/DeprecatedFunction2.html b/html-test/ref/DeprecatedFunction2.html
index b5068c8e..9c7fd335 100644
--- a/html-test/ref/DeprecatedFunction2.html
+++ b/html-test/ref/DeprecatedFunction2.html
@@ -77,7 +77,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedFunction2.ht
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/DeprecatedFunction3.html b/html-test/ref/DeprecatedFunction3.html
index f24eb666..0db7b8be 100644
--- a/html-test/ref/DeprecatedFunction3.html
+++ b/html-test/ref/DeprecatedFunction3.html
@@ -77,7 +77,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedFunction3.ht
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/DeprecatedModule.html b/html-test/ref/DeprecatedModule.html
index 0ca4fafe..7ab5dcf8 100644
--- a/html-test/ref/DeprecatedModule.html
+++ b/html-test/ref/DeprecatedModule.html
@@ -76,7 +76,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedModule.html"
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/DeprecatedModule2.html b/html-test/ref/DeprecatedModule2.html
index 0a313ae9..f33e5681 100644
--- a/html-test/ref/DeprecatedModule2.html
+++ b/html-test/ref/DeprecatedModule2.html
@@ -69,7 +69,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedModule2.html
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/DeprecatedNewtype.html b/html-test/ref/DeprecatedNewtype.html
index 521ffb92..1cd59ab0 100644
--- a/html-test/ref/DeprecatedNewtype.html
+++ b/html-test/ref/DeprecatedNewtype.html
@@ -154,7 +154,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedNewtype.html
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/DeprecatedReExport.html b/html-test/ref/DeprecatedReExport.html
index 611c181d..b75850c3 100644
--- a/html-test/ref/DeprecatedReExport.html
+++ b/html-test/ref/DeprecatedReExport.html
@@ -126,7 +126,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedReExport.htm
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/DeprecatedRecord.html b/html-test/ref/DeprecatedRecord.html
index 9ade8377..62d07c45 100644
--- a/html-test/ref/DeprecatedRecord.html
+++ b/html-test/ref/DeprecatedRecord.html
@@ -144,7 +144,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedRecord.html"
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/DeprecatedTypeFamily.html b/html-test/ref/DeprecatedTypeFamily.html
index ffc069a6..4b73c301 100644
--- a/html-test/ref/DeprecatedTypeFamily.html
+++ b/html-test/ref/DeprecatedTypeFamily.html
@@ -101,7 +101,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedTypeFamily.h
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/DeprecatedTypeSynonym.html b/html-test/ref/DeprecatedTypeSynonym.html
index 665dcf5d..c628316e 100644
--- a/html-test/ref/DeprecatedTypeSynonym.html
+++ b/html-test/ref/DeprecatedTypeSynonym.html
@@ -109,7 +109,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedTypeSynonym.
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/DeprecationMessageParseError.html b/html-test/ref/DeprecationMessageParseError.html
index 75f9bf54..3d8f3cdf 100644
--- a/html-test/ref/DeprecationMessageParseError.html
+++ b/html-test/ref/DeprecationMessageParseError.html
@@ -94,7 +94,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecationMessagePars
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/Examples.html b/html-test/ref/Examples.html
index 7ebe7770..f9575eb9 100644
--- a/html-test/ref/Examples.html
+++ b/html-test/ref/Examples.html
@@ -172,7 +172,7 @@ bar
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/FunArgs.html b/html-test/ref/FunArgs.html
index 6c87d1e6..5c7d6c34 100644
--- a/html-test/ref/FunArgs.html
+++ b/html-test/ref/FunArgs.html
@@ -169,7 +169,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_FunArgs.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html
index e3fcd2fe..a040c954 100644
--- a/html-test/ref/GADTRecords.html
+++ b/html-test/ref/GADTRecords.html
@@ -227,7 +227,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_GADTRecords.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/Hash.html b/html-test/ref/Hash.html
index b0cd183c..d5f87840 100644
--- a/html-test/ref/Hash.html
+++ b/html-test/ref/Hash.html
@@ -330,7 +330,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Hash.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/HiddenInstances.html b/html-test/ref/HiddenInstances.html
index 999c114d..4004a650 100644
--- a/html-test/ref/HiddenInstances.html
+++ b/html-test/ref/HiddenInstances.html
@@ -162,7 +162,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_HiddenInstances.html")
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/HiddenInstancesB.html b/html-test/ref/HiddenInstancesB.html
index 207a5146..2a0bdf32 100644
--- a/html-test/ref/HiddenInstancesB.html
+++ b/html-test/ref/HiddenInstancesB.html
@@ -136,7 +136,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_HiddenInstancesB.html"
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/Hyperlinks.html b/html-test/ref/Hyperlinks.html
index e7351a63..6224c9b5 100644
--- a/html-test/ref/Hyperlinks.html
+++ b/html-test/ref/Hyperlinks.html
@@ -82,7 +82,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Hyperlinks.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/IgnoreExports.html b/html-test/ref/IgnoreExports.html
index c661b48c..15a081fd 100644
--- a/html-test/ref/IgnoreExports.html
+++ b/html-test/ref/IgnoreExports.html
@@ -94,7 +94,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_IgnoreExports.html");}
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/ModuleWithWarning.html b/html-test/ref/ModuleWithWarning.html
index 348f0822..97120c60 100644
--- a/html-test/ref/ModuleWithWarning.html
+++ b/html-test/ref/ModuleWithWarning.html
@@ -76,7 +76,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_ModuleWithWarning.html
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/NamedDoc.html b/html-test/ref/NamedDoc.html
index d2b8ede1..9974486b 100644
--- a/html-test/ref/NamedDoc.html
+++ b/html-test/ref/NamedDoc.html
@@ -61,7 +61,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_NamedDoc.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/NoLayout.html b/html-test/ref/NoLayout.html
index 871add05..e0e6d2cd 100644
--- a/html-test/ref/NoLayout.html
+++ b/html-test/ref/NoLayout.html
@@ -79,7 +79,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_NoLayout.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/NonGreedy.html b/html-test/ref/NonGreedy.html
index 23d3f695..4b7d60e1 100644
--- a/html-test/ref/NonGreedy.html
+++ b/html-test/ref/NonGreedy.html
@@ -75,7 +75,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_NonGreedy.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/Properties.html b/html-test/ref/Properties.html
index 1c4ce893..a12c4c78 100644
--- a/html-test/ref/Properties.html
+++ b/html-test/ref/Properties.html
@@ -85,7 +85,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Properties.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/PruneWithWarning.html b/html-test/ref/PruneWithWarning.html
index 3c31fbdf..b84bca9b 100644
--- a/html-test/ref/PruneWithWarning.html
+++ b/html-test/ref/PruneWithWarning.html
@@ -65,7 +65,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_PruneWithWarning.html"
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/QuasiExpr.html b/html-test/ref/QuasiExpr.html
index 0a699f35..b6c24d0b 100644
--- a/html-test/ref/QuasiExpr.html
+++ b/html-test/ref/QuasiExpr.html
@@ -214,7 +214,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_QuasiExpr.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/QuasiQuote.html b/html-test/ref/QuasiQuote.html
index f61f2b84..c85cbcbd 100644
--- a/html-test/ref/QuasiQuote.html
+++ b/html-test/ref/QuasiQuote.html
@@ -58,7 +58,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_QuasiQuote.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html
index 26b30d24..bc7184d0 100644
--- a/html-test/ref/SpuriousSuperclassConstraints.html
+++ b/html-test/ref/SpuriousSuperclassConstraints.html
@@ -121,7 +121,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_SpuriousSuperclassCons
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/TH.html b/html-test/ref/TH.html
index 086d6a4a..8d02c280 100644
--- a/html-test/ref/TH.html
+++ b/html-test/ref/TH.html
@@ -56,7 +56,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TH.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/TH2.html b/html-test/ref/TH2.html
index 4d4a8914..7ef0ffe5 100644
--- a/html-test/ref/TH2.html
+++ b/html-test/ref/TH2.html
@@ -56,7 +56,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TH2.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html
index f2ef2b28..55fdc6fc 100644
--- a/html-test/ref/Test.html
+++ b/html-test/ref/Test.html
@@ -2238,7 +2238,7 @@ test2
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/Ticket112.html b/html-test/ref/Ticket112.html
index c5c61703..91aa3c90 100644
--- a/html-test/ref/Ticket112.html
+++ b/html-test/ref/Ticket112.html
@@ -75,7 +75,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Ticket112.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/Ticket61.html b/html-test/ref/Ticket61.html
index 8c22488b..41ec91ba 100644
--- a/html-test/ref/Ticket61.html
+++ b/html-test/ref/Ticket61.html
@@ -73,7 +73,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Ticket61.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/Ticket75.html b/html-test/ref/Ticket75.html
index cd510ea5..bfbbbc73 100644
--- a/html-test/ref/Ticket75.html
+++ b/html-test/ref/Ticket75.html
@@ -109,7 +109,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Ticket75.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html
index 196d60ec..88efdee5 100644
--- a/html-test/ref/TypeFamilies.html
+++ b/html-test/ref/TypeFamilies.html
@@ -205,7 +205,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeFamilies.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html
index 2b18727f..8329bab2 100644
--- a/html-test/ref/TypeOperators.html
+++ b/html-test/ref/TypeOperators.html
@@ -178,7 +178,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeOperators.html");}
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/Unicode.html b/html-test/ref/Unicode.html
index 13ef6c1e..110b0a7d 100644
--- a/html-test/ref/Unicode.html
+++ b/html-test/ref/Unicode.html
@@ -75,7 +75,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Unicode.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
diff --git a/html-test/ref/Visible.html b/html-test/ref/Visible.html
index de8b8d80..adbca598 100644
--- a/html-test/ref/Visible.html
+++ b/html-test/ref/Visible.html
@@ -60,7 +60,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Visible.html");};
     ><p
       >Produced by <a href=""
 	>Haddock</a
-	> version 2.13.1</p
+	> version 2.13.2</p
       ></div
     ></body
   ></html
-- 
cgit v1.2.3