aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/DeprecatedReExport.html
diff options
context:
space:
mode:
authorAlec Theriault <alec.theriault@gmail.com>2018-11-10 16:02:13 -0800
committerAlec Theriault <alec.theriault@gmail.com>2018-11-10 16:02:13 -0800
commit959033d592b41235896402a64703650df77c34bd (patch)
tree352d1c64c354017adc5b7c3c6aa7aa7fd95e1bf6 /html-test/ref/DeprecatedReExport.html
parentb62c9542480d629bb482f5394dec2fdd5a48af24 (diff)
parentf4d53a159642aa9182241259709659e7074425d5 (diff)
Merge branch 'ghc-8.6' into ghc-head
Diffstat (limited to 'html-test/ref/DeprecatedReExport.html')
-rw-r--r--html-test/ref/DeprecatedReExport.html38
1 files changed, 22 insertions, 16 deletions
diff --git a/html-test/ref/DeprecatedReExport.html b/html-test/ref/DeprecatedReExport.html
index f2bbb766..e1d226c0 100644
--- a/html-test/ref/DeprecatedReExport.html
+++ b/html-test/ref/DeprecatedReExport.html
@@ -1,18 +1,24 @@
<html xmlns="http://www.w3.org/1999/xhtml"
><head
><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
+ /><meta name="viewport" content="width=device-width, initial-scale=1"
/><title
>DeprecatedReExport</title
- ><link href="#" rel="stylesheet" type="text/css" title="Ocean"
+ ><link href="#" rel="stylesheet" type="text/css" title="NewOcean"
+ /><link rel="stylesheet" type="text/css" href="#"
/><link rel="stylesheet" type="text/css" href="#"
/><script src="haddock-bundle.min.js" async="async" type="text/javascript"
></script
- ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script type="text/x-mathjax-config"
+ >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
></head
><body
><div id="package-header"
- ><ul class="links" id="page-menu"
+ ><span class="caption empty"
+ ></span
+ ><ul class="links" id="page-menu"
><li
><a href="#"
>Contents</a
@@ -22,8 +28,6 @@
>Index</a
></li
></ul
- ><p class="caption empty"
- ></p
></div
><div id="content"
><div id="module-header"
@@ -39,18 +43,20 @@
>DeprecatedReExport</p
></div
><div id="table-of-contents"
- ><p class="caption"
- >Contents</p
- ><ul
- ><li
- ><a href="#"
- >Re-exported from an other module</a
- ></li
+ ><div id="contents-list"
+ ><p class="caption" onclick="window.scrollTo(0,0)"
+ >Contents</p
+ ><ul
><li
- ><a href="#"
- >Re-exported from an other package</a
- ></li
- ></ul
+ ><a href="#"
+ >Re-exported from an other module</a
+ ></li
+ ><li
+ ><a href="#"
+ >Re-exported from an other package</a
+ ></li
+ ></ul
+ ></div
></div
><div id="description"
><p class="caption"