From 7997b739b42b839fb6b0c69366702d02de6aa8ac Mon Sep 17 00:00:00 2001
From: Simon Marlow <simonmar@microsoft.com>
Date: Mon, 27 Mar 2006 09:46:39 +0000
Subject: [PATCH] small updates

---
 ghc/docs/building/building.xml |   19 ++++---------------
 1 file changed, 4 insertions(+), 15 deletions(-)

diff --git a/ghc/docs/building/building.xml b/ghc/docs/building/building.xml
index aab0e12..e1967e9 100644
--- a/ghc/docs/building/building.xml
+++ b/ghc/docs/building/building.xml
@@ -142,9 +142,6 @@
 <indexterm><primary>GHC</primary><secondary>ports</secondary></indexterm>
 <indexterm><primary>platforms</primary><secondary>supported</secondary></indexterm>
 
-    <para>The main question is whether or not the Haskell compiler
-    (GHC) runs on your platform.</para>
-
     <para>A &ldquo;platform&rdquo; is a
     architecture/manufacturer/operating-system combination, such as
     <literal>sparc-sun-solaris2</literal>.  Other common ones are
@@ -164,13 +161,10 @@
     platforms; for example, a sockets library is of no use unless the
     operating system supports the underlying BSDisms.</para>
 
-    <sect2>
-      <title>What platforms the Haskell compiler (GHC) runs on</title>
-
-      <indexterm><primary>fully-supported platforms</primary></indexterm>
-      <indexterm><primary>native-code generator</primary></indexterm>
-      <indexterm><primary>registerised ports</primary></indexterm>
-      <indexterm><primary>unregisterised ports</primary></indexterm>
+    <indexterm><primary>fully-supported platforms</primary></indexterm>
+    <indexterm><primary>native-code generator</primary></indexterm>
+    <indexterm><primary>registerised ports</primary></indexterm>
+    <indexterm><primary>unregisterised ports</primary></indexterm>
 
       <para>The GHC hierarchy of Porting Goodness: (a)&nbsp;Best is a
       native-code generator; (b)&nbsp;next best is a
@@ -179,10 +173,6 @@
       (&ldquo;Unregisterised&rdquo; is so terrible that we won't say
       more about it).</para>
 
-      <para>We use Sparcs running Solaris 2.7 and x86 boxes running
-      FreeBSD and Linux, so those are the best supported platforms,
-      unsurprisingly.</para>
-
       <para>Here's everything that's known about GHC ports.  We
       identify platforms by their &ldquo;canonical&rdquo;
       CPU/Manufacturer/OS triple.</para>
@@ -389,7 +379,6 @@
       distant past, including various Motorola 68k boxes.  The 68k
       support still remains, but porting to one of these systems will
       certainly be a non-trivial task.</para>
-    </sect2>
   </sect1>
 
   <sect1 id="sec-pre-supposed">
-- 
1.7.10.4