From a76480ab8499900331b222f82298590f4309940b Mon Sep 17 00:00:00 2001
From: dons <unknown>
Date: Sun, 18 Apr 2004 10:47:25 +0000
Subject: [PATCH] [project @ 2004-04-18 10:47:25 by dons] Add
 amd64-unknown-openbsd to the list of supported platforms.

---
 docs/building/building.sgml |   10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/docs/building/building.sgml b/docs/building/building.sgml
index e07478f..dff234f 100644
--- a/docs/building/building.sgml
+++ b/docs/building/building.sgml
@@ -1109,6 +1109,16 @@ $ cvs checkout nofib/spectral
 	</varlistentry>
 
 	<varlistentry>
+	  <term>amd64-unknown-openbsd</term>
+	  <indexterm><primary>amd64-unknown-linux</primary></indexterm>
+	  <listitem>
+            <para>(This is the same as x86_64-unknown-openbsd). GHC
+                currently works unregisterised.  A registerised port is in
+                progress.</para>
+	  </listitem>
+	</varlistentry>
+
+	<varlistentry>
 	  <term>mips-sgi-irix5</term>
 	  <indexterm><primary>mips-sgi-irix[5-6]</primary></indexterm>
 	  <listitem>
-- 
1.7.10.4