aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorNjagi Mwaniki <mwanikibusiness@gmail.com>2014-12-27 23:28:59 +0300
committerMateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>2014-12-29 15:30:44 +0000
commit9bd2bf9e8cbf1b2cc2affd27096b79d149528c5b (patch)
tree43a9f9d5380eb5efcf5a51c032c846da293abe71 /doc
parent43d0789910061eda305141ca19c35e51d3888188 (diff)
Turn the README into GitHub Markdown format.
Closes #354
Diffstat (limited to 'doc')
-rw-r--r--doc/README.md (renamed from doc/README)13
1 files changed, 6 insertions, 7 deletions
diff --git a/doc/README b/doc/README.md
index 5bc038bf..cf1fc31b 100644
--- a/doc/README
+++ b/doc/README.md
@@ -1,5 +1,4 @@
-Haddock documentation
----------------------
+# Haddock documentation
The documentation is in DocBook XML format. You need some tools to
process it: at least xsltproc, and the DocBook XML DTD and XSL
@@ -8,19 +7,19 @@ process the documentation on your system, and a Makefile to actually
do the processing (so, on Windows, you'll need Cygwin or MSys in
addition to the DocBook XML tools). To build the HTML documentation:
- $ autoconf
- $ ./configure
- $ make html
+ $ autoconf
+ $ ./configure
+ $ make html
which leaves the HTML documentation in a haddock/ subdirectory.
Printable documentation can also be produced, eg.:
- $ make pdf
+ $ make pdf
or
- $ make ps
+ $ make ps
Generating the printed formats requires more tools (fop or xmltex) and
tends to be a bit harder.