diff options
Diffstat (limited to 'html-test/ref/DeprecatedModule.html')
| -rw-r--r-- | html-test/ref/DeprecatedModule.html | 33 | 
1 files changed, 15 insertions, 18 deletions
| diff --git a/html-test/ref/DeprecatedModule.html b/html-test/ref/DeprecatedModule.html index 1dd3fb45..4a38a820 100644 --- a/html-test/ref/DeprecatedModule.html +++ b/html-test/ref/DeprecatedModule.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      >DeprecatedModule</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_DeprecatedModule.html");}; -//]]> +    >// +window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedModule.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" @@ -47,12 +48,12 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedModule.html"  	><div class="doc"  	><div class="warning"  	  ><p -	    >Deprecated: Use <a href="" +	    >Deprecated: Use <a href="#"  	      >Foo</a  	      > instead</p  	    ></div  	  ><p -	  >Documentation for <a href="" +	  >Documentation for <a href="#"  	    >DeprecatedModule</a  	    >.</p  	  ></div @@ -62,20 +63,16 @@ window.onload = function () {pageLoad();setSynopsis("mini_DeprecatedModule.html"  	>Documentation</h1  	><div class="top"  	><p class="src" -	  ><a href="" id="v:foo" class="def" +	  ><a href="#" id="v:foo" class="def"  	    >foo</a -	    > :: <a href="" +	    > :: <a href="#"  	    >Int</a  	    ></p  	  ></div  	></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 | 
