diff options
| author | Marcus Brinkmann <marcus@gnu.org> | 2001-10-04 02:35:28 +0000 |
|---|---|---|
| committer | Marcus Brinkmann <marcus@gnu.org> | 2001-10-04 02:35:28 +0000 |
| commit | 21ea10295a2b95b5b89ee0097aabde64ce01317c (patch) | |
| tree | d505d53a5e225a5fbde172af588c190d2dd51aa0 /debian | |
| parent | 5df48e5543060daf29f59b910c567d74205da9d6 (diff) | |
2001-10-04 Marcus Brinkmann <marcus@gnu.org>
* 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.
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/postinst | 3 | ||||
| -rw-r--r-- | debian/prerm | 3 | ||||
| -rwxr-xr-x | debian/rules | 10 |
3 files changed, 15 insertions, 1 deletions
diff --git a/debian/postinst b/debian/postinst new file mode 100644 index 0000000..5728608 --- /dev/null +++ b/debian/postinst @@ -0,0 +1,3 @@ +#!/bin/sh -e + +install-info --quiet --section "Kernel" "Kernel" /usr/share/info/mach.info 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 diff --git a/debian/rules b/debian/rules index a1af635..43497be 100755 --- a/debian/rules +++ b/debian/rules @@ -27,6 +27,7 @@ LDFLAGS = -s PREFIX = /usr BINDIR = $(PREFIX)/bin MANDIR = $(PREFIX)/man +INFODIR = $(PREFIX)/share/info DOCDIR = $(PREFIX)/share/doc/$(package) DOCDIR-DEV = $(PREFIX)/doc/$(package-dev) @@ -39,6 +40,7 @@ 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 @@ -144,6 +146,7 @@ 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 @@ -194,12 +197,15 @@ binary-gnumach: stamp-build $(checkroot) -rm -rf debian/tmp - $(make_directory) debian/tmp/DEBIAN debian/tmp$(DOCDIR) + $(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) @@ -213,6 +219,8 @@ binary-gnumach: stamp-build $(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 .. |