Move user's guide to ReStructuredText

15 files changed, 50 insertions, 57 deletions

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 1b46ed73f7..a2ca97eafd 100644
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -755,21 +755,14 @@ HSCOLOUR_CMD   = @HSCOLOUR@
 TIME_CMD       = @TimeCmd@
 
 #-----------------------------------------------------------------------------
-# DocBook XML stuff
-
-BUILD_DOCBOOK_HTML       = @BUILD_DOCBOOK_HTML@
-BUILD_DOCBOOK_PS         = @BUILD_DOCBOOK_PS@
-BUILD_DOCBOOK_PDF        = @BUILD_DOCBOOK_PDF@
-DBLATEX                  = @DblatexCmd@
-# filename.as.url=0 is needed with dblatex 0.3.4 (#7486)
-DBLATEX_OPTS             = -P 'filename.as.url=0' -P 'latex.unicode.use=1'
-XSLTPROC                 = @XsltprocCmd@
-XMLLINT                  = @XmllintCmd@
-HAVE_DOCBOOK_XSL	 = @HAVE_DOCBOOK_XSL@
-XSLTPROC_HTML_STYLESHEET = http://docbook.sourceforge.net/release/xsl/current/html/chunk.xsl
-XSLTPROC_LABEL_OPTS	 = --stringparam toc.section.depth 3 \
-			   --stringparam section.autolabel 1 \
-			   --stringparam section.label.includes.component.label 1
+# Sphinx stuff
+
+SPHINXBUILD              = @SPHINXBUILD@
+BUILD_MAN                = @BUILD_MAN@
+BUILD_SPHINX_HTML        = @BUILD_SPHINX_HTML@
+BUILD_SPHINX_PDF         = @BUILD_SPHINX_PDF@
+SPHINXOPTS               = -D latex_paper_size=letter
+XELATEX                  = @XELATEX@
 
 #-----------------------------------------------------------------------------
 # 		FPtools support software
diff --git a/mk/flavours/bench-cross.mk b/mk/flavours/bench-cross.mk
index 496d38acc7..0dea042e51 100644
--- a/mk/flavours/bench-cross.mk
+++ b/mk/flavours/bench-cross.mk
@@ -5,9 +5,9 @@ GhcLibHcOpts       = -O2 -fllvm
 BUILD_PROF_LIBS    = NO
 SplitObjs          = NO
 HADDOCK_DOCS       = NO
-BUILD_DOCBOOK_HTML = NO
-BUILD_DOCBOOK_PS   = NO
-BUILD_DOCBOOK_PDF  = NO
+BUILD_SPHINX_HTML  = NO
+BUILD_SPHINX_PS    = NO
+BUILD_SPHINX_PDF   = NO
 
 INTEGER_LIBRARY      = integer-simple
 Stage1Only           = YES
diff --git a/mk/flavours/bench-llvm.mk b/mk/flavours/bench-llvm.mk
index 816d7c7b0d..8a73f551c0 100644
--- a/mk/flavours/bench-llvm.mk
+++ b/mk/flavours/bench-llvm.mk
@@ -5,6 +5,6 @@ GhcLibHcOpts       = -O2
 BUILD_PROF_LIBS    = NO
 SplitObjs          = NO
 HADDOCK_DOCS       = NO
-BUILD_DOCBOOK_HTML = NO
-BUILD_DOCBOOK_PS   = NO
-BUILD_DOCBOOK_PDF  = NO
+BUILD_SPHINX_HTML  = NO
+BUILD_SPHINX_PS    = NO
+BUILD_SPHINX_PDF   = NO
diff --git a/mk/flavours/bench.mk b/mk/flavours/bench.mk
index ea4b18e3d5..edf73f4270 100644
--- a/mk/flavours/bench.mk
+++ b/mk/flavours/bench.mk
@@ -5,6 +5,6 @@ GhcLibHcOpts       = -O2
 BUILD_PROF_LIBS    = NO
 SplitObjs          = NO
 HADDOCK_DOCS       = NO
-BUILD_DOCBOOK_HTML = NO
-BUILD_DOCBOOK_PS   = NO
-BUILD_DOCBOOK_PDF  = NO
+BUILD_SPHINX_HTML  = NO
+BUILD_SPHINX_PS    = NO
+BUILD_SPHINX_PDF   = NO
diff --git a/mk/flavours/devel1.mk b/mk/flavours/devel1.mk
index b06b64f72d..6b69adf8f9 100644
--- a/mk/flavours/devel1.mk
+++ b/mk/flavours/devel1.mk
@@ -5,8 +5,8 @@ GhcLibHcOpts       = -O -dcore-lint
 BUILD_PROF_LIBS    = NO
 SplitObjs          = NO
 HADDOCK_DOCS       = NO
-BUILD_DOCBOOK_HTML = NO
-BUILD_DOCBOOK_PS   = NO
-BUILD_DOCBOOK_PDF  = NO
+BUILD_SPHINX_HTML  = NO
+BUILD_SPHINX_PS    = NO
+BUILD_SPHINX_PDF   = NO
 
 LAX_DEPENDENCIES   = YES
diff --git a/mk/flavours/devel2.mk b/mk/flavours/devel2.mk
index 156522687d..c7998229cf 100644
--- a/mk/flavours/devel2.mk
+++ b/mk/flavours/devel2.mk
@@ -5,8 +5,8 @@ GhcLibHcOpts       = -O -dcore-lint
 BUILD_PROF_LIBS    = NO
 SplitObjs          = NO
 HADDOCK_DOCS       = NO
-BUILD_DOCBOOK_HTML = NO
-BUILD_DOCBOOK_PS   = NO
-BUILD_DOCBOOK_PDF  = NO
+BUILD_SPHINX_HTML  = NO
+BUILD_SPHINX_PS    = NO
+BUILD_SPHINX_PDF   = NO
 
 LAX_DEPENDENCIES   = YES
diff --git a/mk/flavours/perf-cross.mk b/mk/flavours/perf-cross.mk
index 0dd9c33cfe..4fa8417494 100644
--- a/mk/flavours/perf-cross.mk
+++ b/mk/flavours/perf-cross.mk
@@ -5,9 +5,9 @@ GhcLibHcOpts       = -O2 -fllvm
 BUILD_PROF_LIBS    = YES
 #SplitObjs
 HADDOCK_DOCS       = NO
-BUILD_DOCBOOK_HTML = NO
-BUILD_DOCBOOK_PS   = NO
-BUILD_DOCBOOK_PDF  = NO
+BUILD_SPHINX_HTML  = NO
+BUILD_SPHINX_PS    = NO
+BUILD_SPHINX_PDF   = NO
 
 INTEGER_LIBRARY      = integer-simple
 Stage1Only           = YES
diff --git a/mk/flavours/perf-llvm.mk b/mk/flavours/perf-llvm.mk
index c49849fd36..4a93d6b6bc 100644
--- a/mk/flavours/perf-llvm.mk
+++ b/mk/flavours/perf-llvm.mk
@@ -5,6 +5,6 @@ GhcLibHcOpts       = -O2
 BUILD_PROF_LIBS    = YES
 #SplitObjs
 #HADDOCK_DOCS
-#BUILD_DOCBOOK_HTML
-#BUILD_DOCBOOK_PS
-#BUILD_DOCBOOK_PDF
+#BUILD_SPHINX_HTML
+#BUILD_SPHINX_PS
+#BUILD_SPHINX_PDF
diff --git a/mk/flavours/perf.mk b/mk/flavours/perf.mk
index d68f2f9102..c94b860af1 100644
--- a/mk/flavours/perf.mk
+++ b/mk/flavours/perf.mk
@@ -5,6 +5,6 @@ GhcLibHcOpts       = -O2
 BUILD_PROF_LIBS    = YES
 #SplitObjs
 #HADDOCK_DOCS
-#BUILD_DOCBOOK_HTML
-#BUILD_DOCBOOK_PS
-#BUILD_DOCBOOK_PDF
+#BUILD_SPHINX_HTML
+#BUILD_SPHINX_PS
+#BUILD_SPHINX_PDF
diff --git a/mk/flavours/prof.mk b/mk/flavours/prof.mk
index 553cb120f7..c751332743 100644
--- a/mk/flavours/prof.mk
+++ b/mk/flavours/prof.mk
@@ -5,8 +5,8 @@ GhcLibHcOpts       = -O
 BUILD_PROF_LIBS    = YES
 SplitObjs          = NO
 HADDOCK_DOCS       = NO
-BUILD_DOCBOOK_HTML = NO
-BUILD_DOCBOOK_PS   = NO
-BUILD_DOCBOOK_PDF  = NO
+BUILD_SPHINX_HTML  = NO
+BUILD_SPHINX_PS    = NO
+BUILD_SPHINX_PDF   = NO
 
 GhcProfiled        = YES
diff --git a/mk/flavours/quick-cross.mk b/mk/flavours/quick-cross.mk
index 9b6fc27e67..3851bbfd13 100644
--- a/mk/flavours/quick-cross.mk
+++ b/mk/flavours/quick-cross.mk
@@ -5,9 +5,9 @@ GhcLibHcOpts       = -O -fllvm
 BUILD_PROF_LIBS    = NO
 SplitObjs          = NO
 HADDOCK_DOCS       = NO
-BUILD_DOCBOOK_HTML = NO
-BUILD_DOCBOOK_PS   = NO
-BUILD_DOCBOOK_PDF  = NO
+BUILD_SPHINX_HTML  = NO
+BUILD_SPHINX_PS    = NO
+BUILD_SPHINX_PDF   = NO
 
 INTEGER_LIBRARY      = integer-simple
 Stage1Only           = YES
diff --git a/mk/flavours/quick-llvm.mk b/mk/flavours/quick-llvm.mk
index e565327822..7a19d0b1be 100644
--- a/mk/flavours/quick-llvm.mk
+++ b/mk/flavours/quick-llvm.mk
@@ -5,6 +5,6 @@ GhcLibHcOpts       = -O
 BUILD_PROF_LIBS    = NO
 SplitObjs          = NO
 HADDOCK_DOCS       = NO
-BUILD_DOCBOOK_HTML = NO
-BUILD_DOCBOOK_PS   = NO
-BUILD_DOCBOOK_PDF  = NO
+BUILD_SPHINX_HTML  = NO
+BUILD_SPHINX_PS    = NO
+BUILD_SPHINX_PDF   = NO
diff --git a/mk/flavours/quick.mk b/mk/flavours/quick.mk
index eef6dc5c1a..ab8d7b3bf0 100644
--- a/mk/flavours/quick.mk
+++ b/mk/flavours/quick.mk
@@ -5,6 +5,6 @@ GhcLibHcOpts       = -O
 BUILD_PROF_LIBS    = NO
 SplitObjs          = NO
 HADDOCK_DOCS       = NO
-BUILD_DOCBOOK_HTML = NO
-BUILD_DOCBOOK_PS   = NO
-BUILD_DOCBOOK_PDF  = NO
+BUILD_SPHINX_HTML  = NO
+BUILD_SPHINX_PS    = NO
+BUILD_SPHINX_PDF   = NO
diff --git a/mk/flavours/quickest.mk b/mk/flavours/quickest.mk
index 71e7c5e94c..63dd5ebc13 100644
--- a/mk/flavours/quickest.mk
+++ b/mk/flavours/quickest.mk
@@ -5,6 +5,6 @@ GhcLibHcOpts       = -O0
 BUILD_PROF_LIBS    = NO
 SplitObjs          = NO
 HADDOCK_DOCS       = NO
-BUILD_DOCBOOK_HTML = NO
-BUILD_DOCBOOK_PS   = NO
-BUILD_DOCBOOK_PDF  = NO
+BUILD_SPHINX_HTML  = NO
+BUILD_SPHINX_PS    = NO
+BUILD_SPHINX_PDF   = NO
diff --git a/mk/flavours/validate.mk b/mk/flavours/validate.mk
index 7f74356f05..0bb7b92398 100644
--- a/mk/flavours/validate.mk
+++ b/mk/flavours/validate.mk
@@ -5,9 +5,9 @@ GhcLibHcOpts       = -O -dcore-lint
 BUILD_PROF_LIBS    = NO
 SplitObjs          = NO
 HADDOCK_DOCS       = YES
-BUILD_DOCBOOK_HTML = YES
-BUILD_DOCBOOK_PS   = NO
-BUILD_DOCBOOK_PDF  = NO
+BUILD_SPHINX_HTML  = YES
+BUILD_SPHINX_PS    = NO
+BUILD_SPHINX_PDF   = NO
 
 ifeq "$(ValidateHpc)" "YES"
 GhcStage2HcOpts   += -fhpc -hpcdir $(TOP)/testsuite/hpc_output/