comparison debian/patches/05_share-man @ 4:c5749e43b1d7

Adding debian files (to original 1.1.29)
author Peter Gervai <grin@grin.hu>
date Wed, 15 Oct 2008 23:35:35 +0200
parents
children
comparison
equal deleted inserted replaced
0:a84c32f131df 4:c5749e43b1d7
1 #!/bin/sh -e
2 ## 05-share-man by Martin Michlmayr <tbm@cyrius.com>
3 ##
4 ## All lines beginning with `## DP:' are a description of the patch.
5 ## DP: Install man pages in the right directory
6
7 --- bins-1.1.29.orig/install.sh
8 +++ bins-1.1.29/install.sh
9 @@ -36,7 +36,7 @@
10 DATA="$SHARE/bins"
11 GLADE="$DATA"
12 LOCALE="$SHARE/locale"
13 -MAN="$PREFIX/man/man1"
14 +MAN="$SHARE/man/man1"
15
16 cd `dirname $0`
17