From ae9e4e22a7ce8b2b56e98ff1708c2e8d42eefd69 Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <tschwinge@gnu.org>
Date: Wed, 5 Nov 2008 14:58:33 +0100
Subject: microkernel/mach/gnumach -> microkernel/mach/gnu_mach

---
 microkernel/mach/gnumach.mdwn | 30 ------------------------------
 1 file changed, 30 deletions(-)
 delete mode 100644 microkernel/mach/gnumach.mdwn

(limited to 'microkernel/mach/gnumach.mdwn')

diff --git a/microkernel/mach/gnumach.mdwn b/microkernel/mach/gnumach.mdwn
deleted file mode 100644
index d45549f5..00000000
--- a/microkernel/mach/gnumach.mdwn
+++ /dev/null
@@ -1,30 +0,0 @@
-[[meta copyright="Copyright © 2007, 2008 Free Software Foundation, Inc."]]
-
-[[meta license="""[[toggle id="license" text="GFDL 1.2+"]][[toggleable
-id="license" text="Permission is granted to copy, distribute and/or modify this
-document under the terms of the GNU Free Documentation License, Version 1.2 or
-any later version published by the Free Software Foundation; with no Invariant
-Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
-is included in the section entitled
-[[GNU_Free_Documentation_License|/fdl]]."]]"""]]
-
-GNU Mach is currently used by the GNU [[Hurd]].
-
-GNU Mach remains compatible with [[Mach]] 3.0.
-
-The majority of GNU Mach's [[device_driver]]s are from Linux 2.0.  They were
-added using glue code, i.e., a Linux [[emulation]] layer in Mach.
-
-GNU Mach runs on x86 machines.  See the
-[[hardware_compatibility_list]] and information about
-[[ports]] to other architectures.
-
-
-# Development
-
-* [[Building]]
-* [[Debugging]]
-* [[Boot_Trace]]
-* [[Projects]]
-    * [[Rules]]
-    * [[Open_Issues]]
-- 
cgit v1.2.3