From 21ea10295a2b95b5b89ee0097aabde64ce01317c Mon Sep 17 00:00:00 2001 From: Marcus Brinkmann Date: Thu, 4 Oct 2001 02:35:28 +0000 Subject: 2001-10-04 Marcus Brinkmann * doc: New directory. * doc/Makefile.in: New file. * doc/gpl.texi: Likewise. * doc/fdl.texi: Likewise. * doc/mach.texi: Likewise. * configure.in: Add doc/Makefile to AC_OUTPUT call. * configure: Regenerated. * Makefile.in (dist): Create directories doc and debian. (doc-files): New variable with documentation files. (debian-files): New variable with Debian packaging files. * debian/rules (stamp-build): Build documentation. (build-gnumach): Install the documentation into the gnumach package. * debian/postrm: New file to install info document. * debian/prerm: New file to install info document. --- debian/prerm | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 debian/prerm (limited to 'debian/prerm') diff --git a/debian/prerm b/debian/prerm new file mode 100644 index 0000000..b033806 --- /dev/null +++ b/debian/prerm @@ -0,0 +1,3 @@ +#!/bin/sh -e + +install-info --quiet --remove /usr/share/info/mach.info -- cgit v1.2.3