diff options
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/ChangeLog | 6 | ||||
| -rw-r--r-- | debian/postinst | 2 | ||||
| -rwxr-xr-x | debian/rules | 2 |
3 files changed, 8 insertions, 2 deletions
diff --git a/debian/ChangeLog b/debian/ChangeLog index 03058e9b..58865338 100644 --- a/debian/ChangeLog +++ b/debian/ChangeLog @@ -1,3 +1,9 @@ +2002-05-13 Marcus Brinkmann <marcus@gnu.org> + + * rules (INFODIR): Move to /share. + * postinst: Likewise. + Submitted by Guillem Jover <guillem.jover@menta.net>, Closes: #146797. + 2002-01-28 Marcus Brinkmann <marcus@gnu.org> * copyright: Remove Linuxism. diff --git a/debian/postinst b/debian/postinst index 89c26bec..05e30d3e 100644 --- a/debian/postinst +++ b/debian/postinst @@ -16,7 +16,7 @@ set -e # Install info files into the dir file. -install-info --quiet --section "Hurd" "The Hurd" /usr/info/hurd.info.gz +install-info --quiet --section "Hurd" "The Hurd" /usr/share/info/hurd.info.gz # Manage alternatives. diff --git a/debian/rules b/debian/rules index 2a657ca9..fb0e3971 100755 --- a/debian/rules +++ b/debian/rules @@ -27,7 +27,7 @@ LDFLAGS = -s PREFIX = /usr BINDIR = $(PREFIX)/bin MANDIR = $(PREFIX)/man -INFODIR = $(PREFIX)/info +INFODIR = $(PREFIX)/share/info DOCDIR = $(PREFIX)/share/doc/$(package) # Package specific stuff. The idea is to try to make the rules |