More README updates
authorIan Lynagh <igloo@earth.li>
Mon, 12 Oct 2009 09:51:42 +0000 (09:51 +0000)
committerIan Lynagh <igloo@earth.li>
Mon, 12 Oct 2009 09:51:42 +0000 (09:51 +0000)
README

diff --git a/README b/README
index 44df7ec..d36c642 100644 (file)
--- a/README
+++ b/README
@@ -68,15 +68,15 @@ Here follows a summary - if you get into trouble, the Building Guide
 has all the answers.
 
 NB. you need GHC installed in order to build GHC, because the compiler
 has all the answers.
 
 NB. you need GHC installed in order to build GHC, because the compiler
-is itself written in Haskell.  It is possible to build GHC using just
-a C compiler, but we don't recommend this as the normal route.  If you
-*really* want to do it this way, then see the Building Guide.
+is itself written in Haskell.  For instructions on how to port GHC to a
+new platform, see the Building Guide.
 
 If you're building from darcs sources (as opposed to a source
 distribution) then you also need to install Happy [4] and Alex [5].
 
 For building library documentation, you'll need Haddock [6].  To build
 
 If you're building from darcs sources (as opposed to a source
 distribution) then you also need to install Happy [4] and Alex [5].
 
 For building library documentation, you'll need Haddock [6].  To build
-the compiler documentation, you need a good DocBook XML toolchain.
+the compiler documentation, you need a good DocBook XML toolchain and
+dblatex.
 
 Quick start:  the following gives you a default build:
 
 
 Quick start:  the following gives you a default build:
 
@@ -89,16 +89,6 @@ The "sh boot" step is only necessary if this is a tree checked out
 from darcs.  For source distributions downloaded from GHC's web site,
 this step has already been performed.
 
 from darcs.  For source distributions downloaded from GHC's web site,
 this step has already been performed.
 
-If you want the documentation too then use these commands instead:
-
-    $ echo "XMLDocWays   = html" > mk/build.mk
-    $ echo "HADDOCK_DOCS = YES" >> mk/build.mk
-    $ sh boot
-    $ ./configure
-    $ make
-    $ make install
-    $ make install-docs
-
 These steps give you the default build, which includes everything
 optimised and built in various ways (eg. profiling libs are built).
 It can take a long time.  To customise the build, see the file
 These steps give you the default build, which includes everything
 optimised and built in various ways (eg. profiling libs are built).
 It can take a long time.  To customise the build, see the file