diff options
57 files changed, 57 insertions, 57 deletions
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 |