diff options
Diffstat (limited to 'html-test/ref/DeprecatedFunction2.html')
| -rw-r--r-- | html-test/ref/DeprecatedFunction2.html | 35 | 
1 files changed, 17 insertions, 18 deletions
| diff --git a/html-test/ref/DeprecatedFunction2.html b/html-test/ref/DeprecatedFunction2.html index 46a509ee..545e3d72 100644 --- a/html-test/ref/DeprecatedFunction2.html +++ b/html-test/ref/DeprecatedFunction2.html @@ -1,32 +1,33 @@ -<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">  <html xmlns="http://www.w3.org/1999/xhtml"  ><head    ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"       /><title      >DeprecatedFunction2</title -    ><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" +    ><link href="#" rel="stylesheet" type="text/css" title="Ocean"       /><script src="haddock-util.js" type="text/javascript"      ></script +    ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" +    ></script      ><script type="text/javascript" -    >//<![CDATA[ -window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedFunction2.html");}; -//]]> +    >// +window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedFunction2.html");}; +//  </script      ></head    ><body    ><div id="package-header"      ><ul class="links" id="page-menu"        ><li -	><a href="" +	><a href="#"  	  >Contents</a  	  ></li  	><li -	><a href="" +	><a href="#"  	  >Index</a  	  ></li  	></ul        ><p class="caption empty" -      > </p +      ></p        ></div      ><div id="content"      ><div id="module-header" @@ -46,9 +47,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedFunction2.ht  	>Synopsis</p  	><ul id="section.syn" class="hide" onclick="toggleSection('syn')"  	><li class="src short" -	  ><a href="" +	  ><a href="#"  	    >foo</a -	    > :: <a href="" +	    > :: <a href="#"  	    >Int</a  	    ></li  	  ></ul @@ -58,10 +59,12 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedFunction2.ht  	>Documentation</h1  	><div class="top"  	><p class="src" -	  ><a href="" id="v:foo" class="def" +	  ><a id="v:foo" class="def"  	    >foo</a -	    > :: <a href="" +	    > :: <a href="#"  	    >Int</a +	    > <a href="#" class="selflink" +	    >#</a  	    ></p  	  ><div class="doc"  	  ><div class="warning" @@ -73,11 +76,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedFunction2.ht  	></div        ></div      ><div id="footer" -    ><p -      >Produced by <a href="" -	>Haddock</a -	> version 2.16.2</p -      ></div +    ></div      ></body    ></html -> +>
\ No newline at end of file | 
