2006-12-03 Thomas Schwinge <tschwinge@gnu.org>

	* debian/Makefile: Remove file.
	* debian/README.Debian: Likewise.
	* debian/TODO: Likewise.
	* debian/changelog: Likewise.
	* debian/conffiles: Likewise.
	* debian/control: Likewise.
	* debian/copyright: Likewise.
	* debian/postinst: Likewise.
	* debian/prerm: Likewise.
	* debian/rc: Likewise.
	* debian/rules: Likewise.
	* debian/servers.boot: Likewise.
	* debian/shlibs: Likewise.
	* debian/shlibs.local: Likewise.
	* debian/update-rc.d: Likewise.

1 files changed, 0 insertions, 22 deletions

diff --git a/debian/servers.boot b/debian/servers.boot
deleted file mode 100644
index 2eb4da05..00000000
--- a/debian/servers.boot
+++ /dev/null
@@ -1,22 +0,0 @@
-# GNU Mach boot script for Debian GNU/Hurd.  Each line specifies a
-# file for serverboot to load (the first word), and actions to be done
-# with it.
-
-# First, the bootstrap filesystem.  It needs several ports as arguments,
-# as well as the user flags from the boot loader.
-/hurd/ext2fs.static --bootflags=${boot-args} --host-priv-port=${host-port} --device-master-port=${device-port} --exec-server-task=${exec-task} -Tdevice ${root-device} $(task-create) $(task-resume)
-
-# Now the exec server; to load the dynamically-linked exec server
-# program, we have serverboot in fact load and run ld.so, which in
-# turn loads and runs /hurd/exec.  This task is created, and its task
-# port saved in ${exec-task} to be passed to the fs above, but it is
-# left suspended; the fs will resume the exec task once it is ready.
-/lib/ld.so.1 /hurd/exec $(exec-task=task-create)
-
-# To swap to a Linux swap partition, use something like the following.
-# You can also add swap partitions to /etc/fstab.
-#/dev/hd0s2 $(add-linux-paging-file)
-
-# Don't make serverboot the default pager.  The real default pager will
-# we started early in /libexec/rc.
-die $(serverboot)