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

[bug #17120 --- ``GNU Mach debian dir'']
	* debian/README.Debian: Remove file.
	* debian/changelog: Likewise.
	* debian/control: Likewise.
	* debian/copyright: Likewise.
	* debian/postinst: Likewise.
	* debian/prerm: Likewise.
	* debian/rules: Likewise.

8 files changed, 9 insertions, 592 deletions

diff --git a/ChangeLog b/ChangeLog
index 847b6cc..7c98996 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,14 @@
 2006-12-03  Thomas Schwinge  <tschwinge@gnu.org>
 
+	[bug #17120 --- ``GNU Mach debian dir'']
+	* debian/README.Debian: Remove file.
+	* debian/changelog: Likewise.
+	* debian/control: Likewise.
+	* debian/copyright: Likewise.
+	* debian/postinst: Likewise.
+	* debian/prerm: Likewise.
+	* debian/rules: Likewise.
+
 	[bug #18015 --- ``GNU Mach: `make dist' and friends'']
 	* Makefile.am (DISTCLEANFILES): New variable.
 
diff --git a/debian/README.Debian b/debian/README.Debian
deleted file mode 100644
index 484893c..0000000
--- a/debian/README.Debian
+++ /dev/null
@@ -1,10 +0,0 @@
-GNU Mach for Debian
--------------------
-
-This is the GNU version of the Mach microkernel, currently used as the
-basis for the GNU Hurd.
-
-Let us know if you have hardware troubles.
-Compiling a fresh kernel with minimal hardware support is recommended.
-
-GNU Hurd Maintainers <bug-hurd@gnu.org>
diff --git a/debian/changelog b/debian/changelog
deleted file mode 100644
index 02c2ef3..0000000
--- a/debian/changelog
+++ /dev/null
@@ -1,231 +0,0 @@
-gnumach (1:20020421-1) unstable; urgency=low
-
-  * Update to CVS 20020421.
-  * Patches applied to CVS code: cdromlock.
-
- -- Marcus Brinkmann <brinkmd@debian.org>  Sun, 21 Apr 2002 18:53:13 +0200
-
-gnumach (1:20011013-1) unstable; urgency=low
-
-  * Update to CVS 20011013.
-  * Patches applied to CVS code: cdromlock.
-
- -- Marcus Brinkmann <brinkmd@debian.org>  Sat, 13 Oct 2001 00:21:15 +0200
-
-gnumach (1:20011005-2) unstable; urgency=low
-
-  * Update to CVS 20011005.
-  * Patches applied to CVS code: cdromlock.
-
- -- Marcus Brinkmann <brinkmd@debian.org>  Fri,  5 Oct 2001 21:14:51 +0200
-
-gnumach (1:20010918-1) unstable; urgency=low
-
-  * Update to CVS 2001918.
-  * Patches applied to CVS code: cdromlock.
-
- -- Marcus Brinkmann <brinkmd@debian.org>  Tue, 18 Sep 2001 23:15:17 +0200
-
-gnumach (1:20010818-1) unstable; urgency=low
-
-  * Update to CVS 20010718.
-  * Patches applied to CVS code: cdromlock.
-  The other patches are in CVS now.
-
-  * Wading through the bug list, there are some old bugs
-  fixed long ago, closes: #37954, #47948, #85302, #45792
-  * debian/rules: Make it build via direct invocation, submitted
-  by Robert Bihlmeyer, closes: #101697.
-  
-  * control: New package gnumach-dbg.  This kernel is not stripped and includes the
-  kernel-level debugger.
-  * debian/rules: Build this package.
-
- -- Marcus Brinkmann <brinkmd@debian.de>  Sat, 18 Aug 2001 02:15:06 +0200
-
-gnumach (1:20010718-1) unstable; urgency=low
-
-  * Update to CVS 20010718.
-  * Patches applied to CVS code: cdromlock, color, kbd_enqueu.
-
- -- Marcus Brinkmann <brinkmd@debian.org>  Wed, 18 Jul 2001 22:10:20 +0200
-
-gnumach (1:1.2-11) unstable; urgency=low
-
-  * debian/rules (stamp-configure): Add ncr53c8xx driver.
-  * Update to CVS 20010528.
-  * Patches applied to CVS code: cdromlock, color, kbd_enqueu.
-
- -- Marcus Brinkmann <brinkmd@debian.org>  Sun, 27 May 2001 14:14:12 +0200
-
-gnumach (1:1.2-10) unstable; urgency=low
-
-  * debian/rules (stamp-configure): Disable eatadma driver, which
-  prevents booting on some AMD K7 motherboards. Reported by
-  Robert Bihlmeyer <robbe@orcus.priv.at>.
-  * Update to CVS 20010429, which contains support for high baud rates
-  (B57600, B115200).
-  * Patches applied to CVS code: cdromlock, color, kbd_enqueu.
-
- -- Marcus Brinkmann <brinkmd@debian.org>  Sun, 29 Apr 2001 21:41:34 +0200
-
-gnumach (1:1.2-9) unstable; urgency=low
-
-  * Update to CVS 20010111, which contains a new interface for
-  block devices with a large number of blocks.
-
- -- Marcus Brinkmann <brinkmd@debian.org>  Thu, 11 Jan 2001 23:45:49 +0100
-
-gnumach (1:1.2-8) unstable; urgency=low
-
-  * Applied patch by Alexey Dejneka <adejneka@comail.ru> to fix CD ROM
-  locking problem.
-  * debian/control: Add mig and sharutils to list of build dependencies
-  (sharutils for uudecode for fpu emu), closes: #74794.
-  * linux/src/drivers/net/tulip.c: Update from Linux 2.2.17, thanks
-  Jason Henry Parker <jasonp@uq.net.au>
-  
- -- Marcus Brinkmann <brinkmd@debian.org>  Sun, 26 Nov 2000 03:46:08 +0100
-
-gnumach (1:1.2-7) unstable; urgency=low
-
-  * Update to CVS 20000929, which contains a fix for comX.
-  * debian/rules: Drop --enable-lpr, which doesn't work.
-  Drop --enable-com, which is already enforced.
-  
- -- Marcus Brinkmann <brinkmd@debian.org>  Fri, 29 Sep 2000 20:24:54 +0200
-
-gnumach (1:1.2-5) unstable; urgency=low
-
-  * Update to CVS 20000817, which contains a fix for
-  linux/dev/glue/block.c.
-
- -- Marcus Brinkmann <brinkmd@debian.org>  Thu, 17 Aug 2000 03:22:30 +0200
-
-gnumach (1:1.2-4) unstable; urgency=low
-
-  * Add color support to gnumach. Set TERM to mach-color to get the full
-  effect. Thanks to Juli-Manel Merino Vidal <jmmv@mail.com> for working
-  out the mapping between ANSI color codes and the bits to poke into the
-  attribute.
-
- -- Marcus Brinkmann <brinkmd@debian.org>  Tue,  8 Aug 2000 21:00:50 +0200
-
-gnumach (1:1.2-3) unstable; urgency=low
-
-  * Snapshot from CVS 20000703.
-  * i386/i386at/kd.c: Receive 0xE0 scan codes (patch by Kalle Olavi Niemitalo).
-  * Patch to get it compile with gcc-2.95.1 or newer
-  ( by "Weil, Stefan 3732 EPE-24" <Stefan.Weil@de.heidelberg.com>
-  and Igor Khavkine <i_khavki@alcor.concordia.ca>)
-
- -- Marcus Brinkmann <brinkmd@debian.org>  Mon,  3 Jul 2000 21:05:42 +0200
-
-gnumach (1:1.2-2) unstable; urgency=low
-
-  * Snapshot from CVS 19990907.
-  * Reenable all network interfaces, because the problem is fixed.
-  * Gzip gnumach binary.
-
- -- Marcus Brinkmann <brinkmd@debian.org>  Wed,  8 Sep 1999 00:15:39 +0200
-
-gnumach (1:1.2-1) unstable; urgency=low
-
-  * Snapshot from CVS 19990725.
-  * Start from official 1.2 release.
-  * Remove some network card drivers that seems to have no autodetection in
-    order to get a maximum set of cards enabled that allows GNU Mach to detect
-    at least one.
-
- -- Marcus Brinkmann <brinkmd@debian.org>  Mon, 26 Jul 1999 01:31:31 +0200
-
-gnumach (1:1.1.92-5) unstable; urgency=low
-
-  * Snapshot from CVS 19990616.
-  * Marks dummy network driver still there.
-
- -- Marcus Brinkmann <brinkmd@debian.org>  Thu, 17 Jun 1999 16:53:50 +0200
-
-gnumach (1:1.1.92-4) unstable; urgency=low
-
-  * Snapshot from CVS 19990602.
-  * Marks dummy network driver still there.
-  * Replaced linux/dev/drivers/block/genhd.c to avoid a bug.
-
- -- Marcus Brinkmann <brinkmd@debian.org>  Sat,  5 Jun 1999 00:59:43 +0200
-
-gnumach (1:1.1.92-2) unstable; urgency=low
-
-  * Snapshot from CVS 19990524.
-  * Applied Marks dummy network driver.
-  * Enabled thousands more devices.
-
- -- Marcus Brinkmann <brinkmd@debian.org>  Mon, 24 May 1999 18:00:19 +0200
-
-gnumach (1:1.1.92-1) unstable; urgency=low
-
-  * Snapshot from CVS 19990507.
-
- -- Marcus Brinkmann <brinkmd@debian.org>  Fri,  7 May 1999 20:46:06 +0200
-
-gnumach (1:1.1.90-2) unstable; urgency=low
-
-  * Fix package administration information to reflect that maintainership
-    has been transferred to bug-hurd@gnu.org.
-  * Merge a few configuration fixes from Marcus Brinkmann.
-  * Install include files into /usr/include, for the benefit of people
-    without the /usr symlink.
-
- -- Gordon Matzigkeit <bug-hurd@gnu.org>  Wed, 17 Feb 1999 16:50:54 -0600
-
-gnumach (1:1.1.90-1) unstable; urgency=low
-
-  * New version from OKUJI Yoshinori.
-  * Use DEB_{BUILD,HOST}_GNU_TYPE, in accordance with Marcus's new
-    cross-build proposal.
-
- -- Gordon Matzigkeit <gord@debian.org>  Tue, 11 Feb 1999 22:14:01 -0600
-
-gnumach (19990116-1) unstable; urgency=low
-
-  * New version from OKUJI Yoshinori.
-  * Added kmsg.
-
- -- Marcus Brinkmann <brinkmd@debian.org>  Mon, 18 Jan 1999 17:11:58 +0100
-
-gnumach (19981118-2) unstable; urgency=low
-
-  * Split into gnumach and gnumach-dev.
-  * Added keyboard patch by Tudor Hulubei <tudor@cs.unh.edu> to fix some
-    keybord issues.
-  * Bumped Standards: version to 2.5.0.0.
-
- -- Marcus Brinkmann <brinkmd@debian.org>  Sun,  3 Jan 1999 13:53:28 +0100
-
-gnumach (19981118-1) unstable; urgency=low
-
-  * New version from OKUJI Yoshinori  <okuji@kuicr.kyoto-u.ac.jp>.
-    This is not a new upstream version, but includes the Linux 2.0.36 driver.
-  * Strip the kernel.
-
- -- Marcus Brinkmann <brinkmd@debian.org>  Sat, 19 Dec 1998 05:27:30 +0100
-
-gnumach (19981025-1) unstable; urgency=low
-
-  * New upstream snapshot.
-
- -- Marcus Brinkmann <brinkmd@debian.org>  Sat,  7 Nov 1998 18:56:53 +0100
-
-gnumach (1.1.3-2) unstable; urgency=low
-
-  * Added CPU_TYPE_{I486,PENTIUM,PENTIUMPRO,POWERPC} to
-    ./include/mach/machine.h. This is needed for latest hurd release.
-  * Changed description (thank you, Santiagio).
-
- -- Marcus Brinkmann <brinkmd@debian.org>  Sat,  1 Aug 1998 21:33:31 +0200
-
-gnumach (1.1.3-1) unstable; urgency=low
-
-  * Initial Version.
-
- -- Marcus Brinkmann <brinkmd@debian.org>  Sat,  1 Aug 1998 21:33:31 +0200
diff --git a/debian/control b/debian/control
deleted file mode 100644
index fe3ae35..0000000
--- a/debian/control
+++ /dev/null
@@ -1,32 +0,0 @@
-Source: gnumach
-Section: base
-Priority: optional
-Maintainer: GNU Hurd Maintainers <bug-hurd@gnu.org>
-Standards-Version: 3.5.6.0
-Build-Depends: mig, sharutils
-
-Package: gnumach
-Section: base
-Priority: optional
-Architecture: hurd-i386
-Description: The GNU version of the Mach microkernel
- This is the Utah Mach microkernel used by the Hurd.
-
-Package: gnumach-dbg
-Section: devel
-Priority: extra
-Provides: gnumach
-Architecture: hurd-i386
-Description: The GNU version of the Mach microkernel for debugging
- This is the Utah Mach microkernel used by the Hurd.
- .
- The version in this package is identical to the version found in the
- gnumach package, except that it is not stripped and has the
- kernel-level debugger compiled in.
-
-Package: gnumach-dev
-Section: devel
-Priority: optional
-Architecture: hurd-i386
-Description: The GNU version of the Mach microkernel
- These are the header files for the Utah Mach microkernel used by the Hurd.
diff --git a/debian/copyright b/debian/copyright
deleted file mode 100644
index ffa939c..0000000
--- a/debian/copyright
+++ /dev/null
@@ -1,54 +0,0 @@
-This package was originally debianized by Marcus Brinkmann
-<brinkmd@debian.org> on Sat, 1 Aug 1998 21:26:37 +0200
-
-It is currently maintained by its upstream authors, who can be reached
-via <bug-hurd@gnu.org>.
-
-Sources are available from ftp://alpha.gnu.org/gnu/hurd/contrib/okuji/mach/
-
-Copyright statement:
-
-Please look at the source files for individual copyrights. They are covered
-by either of the following copyrights:
-
-Most of these files are licensed under the following terms:
-/*
- * Mach Operating System
- * Copyright (c) 1993-1989 Carnegie Mellon University
- * All Rights Reserved.
- *
- * Permission to use, copy, modify and distribute this software and its
- * documentation is hereby granted, provided that both the copyright
- * notice and this permission notice appear in all copies of the
- * software, derivative works or modified versions, and any portions
- * thereof, and that both notices appear in supporting documentation.
- *
- * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS"
- * CONDITION.  CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
- * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
- *
- * Carnegie Mellon requests users of this software to return to
- *
- *  Software Distribution Coordinator  or  Software.Distribution@CS.CMU.EDU
- *  School of Computer Science
- *  Carnegie Mellon University
- *  Pittsburgh PA 15213-3890
- *
- * any improvements or extensions that they make and grant Carnegie Mellon
- * the rights to redistribute these changes.
- */
-
-Some of these files are licensed under the following terms:
-
-   This program is free software; you can redistribute it and/or modify
-   it under the terms of the GNU General Public License as published by
-   the Free Software Foundation; version 2 dated June, 1991.
-
-   This program is distributed in the hope that it will be useful,
-   but WITHOUT ANY WARRANTY; without even the implied warranty of
-   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-   GNU General Public License for more details.
-
-   You should have received a copy of the GNU General Public License
-   along with this program; if not, write to the Free Software
-   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307 USA
diff --git a/debian/postinst b/debian/postinst
deleted file mode 100644
index 5728608..0000000
--- a/debian/postinst
+++ /dev/null
@@ -1,3 +0,0 @@
-#!/bin/sh -e
-
-install-info --quiet --section "Kernel" "Kernel" /usr/share/info/mach.info
diff --git a/debian/prerm b/debian/prerm
deleted file mode 100644
index b033806..0000000
--- a/debian/prerm
+++ /dev/null
@@ -1,3 +0,0 @@
-#!/bin/sh -e
-
-install-info --quiet --remove /usr/share/info/mach.info
diff --git a/debian/rules b/debian/rules
deleted file mode 100755
index 0e442af..0000000
--- a/debian/rules
+++ /dev/null
@@ -1,259 +0,0 @@
-#!/usr/bin/make -f
-############################ -*- Mode: Makefile -*- ###########################
-## rules ---
-## Author           : Marcus Brinkmann <brinkmd@debian.org>
-## Created On       : Sat,  1 Aug 1998 21:33:31 +0200
-## Created On Node  : localhost
-## Last Modified By : Marcus Brinkmann
-## Last Modified On : Sun,  8 Nov 1998 13:55:22 +0100
-## Last Machine Used: localhost
-## Update Count     : 1
-## Status           : Unknown, Use with caution!
-## HISTORY          :
-## Description      :
-##
-###############################################################################
-
-# The name of the package (for example, `emacs').
-package   := gnumach
-package-dev := gnumach-dev
-DEB_BUILD_GNU_TYPE := $(shell dpkg-architecture -qDEB_BUILD_GNU_TYPE)
-DEB_HOST_GNU_TYPE := $(shell dpkg-architecture -qDEB_HOST_GNU_TYPE)
-
-# Configuration variables (these should be pretty generic)
-CC = cc
-CFLAGS = -O2 -g -pipe -Wall
-LDFLAGS = -s
-PREFIX = /usr
-BINDIR = $(PREFIX)/bin
-MANDIR = $(PREFIX)/man
-INFODIR = $(PREFIX)/share/info
-DOCDIR = $(PREFIX)/share/doc/$(package)
-DOCDIR-DEV = $(PREFIX)/share/doc/$(package-dev)
-
-#  Package specific stuff.  The idea is to try to make the rules
-#  generic (gradually).
-
-FILES_TO_CLEAN	= debian/files machine
-DIRS_TO_CLEAN	= debian/tmp build build-dbg
-STAMPS_TO_CLEAN	= stamp-build stamp-configure
-
-install_file	= install -o root -g root -m 644
-install_program	= install -s -o root -g root -m 755
-install_script	= install -o root -g root -m 755
-make_directory	= install -d -o root -g root -m 755
-
-define checkdir
-	test -f debian/rules
-endef
-
-define checkroot
-	@test 0 = "`id -u`" || (echo need root priviledges; exit 1)
-endef
-
-# disabled:
-# ncr5380, ncr53c400, ncr53c406a
-# hpj2577, hpj2573, hp27248b, hp2585, atp
-drivers := --enable-floppy \
-	--enable-ide \
-	\
-	--enable-advansys \
-	--enable-buslogic \
-	--enable-u1434f \
-	--enable-ultrastor \
-	--enable-aha152x --enable-aha2825 \
-	--enable-aha1542 \
-	--enable-aha1740 \
-	--enable-aic7xxx \
-	--enable-futuredomain \
-	--enable-in2000 \
-	--enable-pas16 \
-	--enable-seagate \
-	--enable-t128 --enable-t128f --enable-t228 \
-	--enable-ncr53c7xx \
-	--enable-eatapio \
-	--enable-wd7000 \
-	--enable-eata \
-	--enable-am53c974 --enable-am79c974 \
-	--enable-dtc3280 --enable-dtc3180 \
-	--enable-ncr53c8xx --enable-dc390w --enable-dc390u --enable-dc390f \
-	--enable-dc390t --enable-dc390 \
-	--enable-ppa \
-	--enable-qlogicfas \
-	--enable-qlogicisp \
-	--enable-gdth \
-	\
-	--enable-de4x5 --enable-de425 --enable-de434 --enable-de435 --enable-de450 --enable-de500 \
-	--enable-eexpresspro100 \
-	--enable-epic100 \
-	--enable-hp100 \
-	--enable-ne2kpci \
-	--enable-pcnet32 \
-	--enable-rtl8139 --enable-rtl8129 \
-	--enable-viarhine \
-	--enable-elcp --enable-tulip \
-	--enable-yellowfin \
-	\
-	--enable-ac3200 \
-	--enable-ul32 \
-	\
-	--enable-at1700 \
-	--enable-ul \
-	--enable-epic \
-	--enable-wd80x3 \
-	--enable-3c503 --enable-el2 \
-	--enable-hplan --enable-hplanplus \
-	--enable-seeq8005 \
-	--enable-e2100 \
-	--enable-ne2000 --enable-ne1000 \
-	--enable-at1500 --enable-ne2100 \
-	--enable-fmv18x \
-	--enable-eth16i --enable-eth32 \
-	--enable-el3 --enable-3c509 --enable-3c579 \
-	--enable-vortex --enable-3c59x --enable-3c90x \
-	--enable-3c515 \
-	--enable-znet --enable-znote \
-	--enable-eexpress --enable-eexpresspro  \
-	--enable-depca --enable-de100 --enable-de101 --enable-de200 \
-	--enable-de201 --enable-de202 --enable-de210 --enable-de422 \
-	--enable-ewrk3 --enable-de203 --enable-de204 --enable-de205 \
-	--enable-apricot \
-	--enable-el1 --enable-3c501 \
-	--enable-wavelan \
-	--enable-el16 --enable-3c507 \
-	--enable-elplus --enable-3c505 \
-	--enable-de600 --enable-de620 \
-	--enable-skg16 \
-	--enable-ni52 --enable-ni65 \
-	--enable-lance \
-	--enable-tlan
-
-stamp-configure:
-	$(checkdir)
-	-mkdir build
-	cd build && ../configure $(drivers) \
-	--build=$(DEB_BUILD_GNU_TYPE) --host=$(DEB_HOST_GNU_TYPE)
-	touch stamp-configure
-
-stamp-configure-dbg:
-	$(checkdir)
-	-mkdir build-dbg
-	cd build-dbg && ../configure --enable-kdb $(drivers) \
-	--build=$(DEB_BUILD_GNU_TYPE) --host=$(DEB_HOST_GNU_TYPE)
-	touch stamp-configure-dbg
-
-all build: stamp-build stamp-build-dbg
-stamp-build: stamp-configure
-	$(checkdir)
-	cd build && $(MAKE)
-	cd build/doc && $(MAKE)
-	touch stamp-build
-
-stamp-build-dbg: stamp-configure-dbg
-	$(checkdir)
-	cd build-dbg && $(MAKE)
-	touch stamp-build-dbg
-
-clean:
-	$(checkdir)
-	-rm -f  $(FILES_TO_CLEAN) $(STAMPS_TO_CLEAN)
-	-rm -rf $(DIRS_TO_CLEAN)
-	-rm -f core `find . \( -name '*.orig' -o -name '*.rej' -o -name '*~' \
-                -o -name '*.bak' -o -name '#*#' -o -name '.*.orig' \
-                -o -name '.*.rej' -o -name '.SUMS' -o -size 0 \) -print`
-
-binary: binary-indep binary-arch
-
-# Build architecture-independent files here.
-
-binary-indep: build
-	$(checkdir)
-	$(checkroot)
-	-rm -rf			debian/tmp
-
-	$(make_directory)	debian/tmp/DEBIAN debian/tmp$(DOCDIR-DEV)
-
-	pfx=`cd debian/tmp && pwd` && cd build && $(MAKE) install-headers prefix=$$pfx
-	mv debian/tmp/include debian/tmp/usr/.
-	-find debian/tmp -type d | xargs chmod g-w
-
-	$(install_file)		NEWS debian/tmp$(DOCDIR-DEV)
-	$(install_file)		ChangeLog debian/tmp$(DOCDIR-DEV)/ChangeLog
-	$(install_file)		ChangeLog.0 debian/tmp$(DOCDIR-DEV)
-	$(install_file)		ChangeLog.00 debian/tmp$(DOCDIR-DEV)
-	$(install_file)		debian/changelog debian/tmp$(DOCDIR-DEV)/changelog.Debian
-	gzip -9frq		debian/tmp$(DOCDIR-DEV)/.
-	$(install_file)		debian/copyright debian/tmp$(DOCDIR-DEV)
-	ln -s			ChangeLog.gz debian/tmp$(DOCDIR-DEV)/changelog.gz
-
-	dpkg-gencontrol         -isp -p$(package-dev) -Pdebian/tmp
-	chown -R root.root      debian/tmp
-	dpkg --build            debian/tmp ..
-
-binary-arch: binary-gnumach binary-gnumach-dbg
-
-binary-gnumach: stamp-build
-	$(checkdir)
-	$(checkroot)
-	-rm -rf			debian/tmp
-
-	$(make_directory)	debian/tmp/DEBIAN debian/tmp$(DOCDIR) debian/tmp$(INFODIR)
-
-	pfx=`cd debian/tmp && pwd` && cd build && $(MAKE) install-kernel prefix=$$pfx
-	strip --strip-all	debian/tmp/boot/gnumach
-	gzip -9fq		debian/tmp/boot/gnumach
-	-find debian/tmp -type d | xargs chmod g-w
-	$(install_file)         build/doc/mach.info* debian/tmp$(INFODIR)
-	-gzip -9frq             debian/tmp$(INFODIR)
-
-
-	$(install_file)		README debian/tmp$(DOCDIR)
-	$(install_file)		NEWS debian/tmp$(DOCDIR)
-	$(install_file)		ChangeLog debian/tmp$(DOCDIR)/ChangeLog
-	$(install_file)		ChangeLog.0 debian/tmp$(DOCDIR)
-	$(install_file)		ChangeLog.00 debian/tmp$(DOCDIR)
-	$(install_file)		i386/README-Drivers debian/tmp$(DOCDIR)
-	$(install_file)		debian/README.Debian debian/tmp$(DOCDIR)
-	$(install_file)		debian/changelog debian/tmp$(DOCDIR)/changelog.Debian
-	gzip -9frq		debian/tmp$(DOCDIR)/.
-	$(install_file)		debian/copyright debian/tmp$(DOCDIR)
-	ln -s			ChangeLog.gz debian/tmp$(DOCDIR)/changelog.gz
-
-	$(install_script)	debian/postinst debian/tmp/DEBIAN
-	$(install_script)	debian/prerm debian/tmp/DEBIAN
-	dpkg-gencontrol         -isp -p$(package) -Pdebian/tmp
-	chown -R root.root      debian/tmp
-	dpkg --build            debian/tmp ..
-
-binary-gnumach-dbg: stamp-build-dbg
-	$(checkdir)
-	$(checkroot)
-	-rm -rf			debian/tmp
-
-	$(make_directory)	debian/tmp/DEBIAN debian/tmp$(DOCDIR)-dbg
-
-	pfx=`cd debian/tmp && pwd` && cd build-dbg && $(MAKE) install-kernel prefix=$$pfx
-	mv debian/tmp/boot/gnumach debian/tmp/boot/gnumach-dbg
-	gzip -9fq		debian/tmp/boot/gnumach-dbg
-	-find debian/tmp -type d | xargs chmod g-w
-
-	$(install_file)		README debian/tmp$(DOCDIR)-dbg
-	$(install_file)		NEWS debian/tmp$(DOCDIR)-dbg
-	$(install_file)		ChangeLog debian/tmp$(DOCDIR)-dbg/ChangeLog
-	$(install_file)		ChangeLog.0 debian/tmp$(DOCDIR)-dbg
-	$(install_file)		ChangeLog.00 debian/tmp$(DOCDIR)-dbg
-	$(install_file)		i386/README-Drivers debian/tmp$(DOCDIR)-dbg
-	$(install_file)		debian/README.Debian debian/tmp$(DOCDIR)-dbg
-	$(install_file)		debian/changelog debian/tmp$(DOCDIR)-dbg/changelog.Debian
-	gzip -9frq		debian/tmp$(DOCDIR)-dbg/.
-	$(install_file)		debian/copyright debian/tmp$(DOCDIR)-dbg
-	ln -s			ChangeLog.gz debian/tmp$(DOCDIR)-dbg/changelog.gz
-
-	dpkg-gencontrol         -isp -p$(package)-dbg -Pdebian/tmp
-	chown -R root.root      debian/tmp
-	dpkg --build            debian/tmp ..
-
-binary-indep: build
-# We have nothing to do here.
-
-.PHONY: build clean binary-indep binary-arch binary-gnumach binary-gnumach-dbg binary configure