From 3f50b955324bd4b42f88a421f0203bc46a3ccf64 Mon Sep 17 00:00:00 2001
From: Dominic Steinitz <dominic@steinitz.org>
Date: Sat, 16 May 2015 13:53:14 +0100
Subject: Fix the documentation for haddock itself.

Change notation and add support for inline math.

Allow newlines in display math.

Add a command line option for the mathjax url (you might want to use a
locally installed version).

Rebase tests because of extra url and version change.

Respond to (some of the) comments.

Fix warnings in InterfaceFile.hs
---
 html-test/ref/Math.html | 22 +++++++++++++++++++++-
 1 file changed, 21 insertions(+), 1 deletion(-)

(limited to 'html-test/ref/Math.html')

diff --git a/html-test/ref/Math.html b/html-test/ref/Math.html
index 3335f7b1..5b76fd13 100644
--- a/html-test/ref/Math.html
+++ b/html-test/ref/Math.html
@@ -7,6 +7,8 @@
     ><link href="ocean.css" 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_Math.html");};
@@ -41,6 +43,22 @@ window.onload = function () {pageLoad();setSynopsis("mini_Math.html");};
 	><p class="caption"
 	>Math</p
 	></div
+      ><div id="description"
+      ><p class="caption"
+	>Description</p
+	><div class="doc"
+	><p
+	  >Math (display) for <code
+	    >normalDensity</code
+	    ></p
+	  ><p
+	  >\[
+ \int_{-\infty}^{\infty} e^{-x^2/2} = \sqrt{2\pi}
+ \]</p
+	  ><p
+	  >\(\int_{-\infty}^{\infty} e^{-x^2/2} = \sqrt{2\pi}\)</p
+	  ></div
+	></div
       ><div id="synopsis"
       ><p id="control.syn" class="caption expander" onclick="toggleSection('syn')"
 	>Synopsis</p
@@ -67,7 +85,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Math.html");};
 	  ><p
 	    >Math (inline) for <code
 	      >normalDensity</code
-	      > $$\int_{-\infnty}^{\infty} e^{-x^2/2} = sqrt{2\pi}$$</p
+	      >
+ \(\int_{-\infty}^{\infty} e^{-x^2/2} = \sqrt{2\pi}\)
+ \[\int_{-\infty}^{\infty} e^{-x^2/2} = \sqrt{2\pi}\]</p
 	    ></div
 	  ></div
 	></div
-- 
cgit v1.2.3