diff options
| author | Marcus Brinkmann <marcus@gnu.org> | 2002-05-13 12:59:10 +0000 |
|---|---|---|
| committer | Marcus Brinkmann <marcus@gnu.org> | 2002-05-13 12:59:10 +0000 |
| commit | a3822430ff8a34f83156290f4a6787f1c3b634d6 (patch) | |
| tree | 2934a5488a6956ca5a1aa9b1b074523e684fd06d /debian/postinst | |
| parent | 287caf2227a7432a3b4a3adaf7c7a85c120df4f4 (diff) | |
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.
Diffstat (limited to 'debian/postinst')
| -rw-r--r-- | debian/postinst | 2 |
1 files changed, 1 insertions, 1 deletions
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. |