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 | d33ca129628496d1979d12988b120b2034f85f3f (patch) | |
| tree | 7bb1ccef1b4f55a28525a850cb25be1406345892 /debian/rules | |
| parent | afd0560120832764011b86a08de49fe12d93235c (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/rules')
| -rwxr-xr-x | debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
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 |