view debian/patches/05_share-man @ 7:69923c621cfe

log verbosity
author Peter Gervai <grin@grin.hu>
date Thu, 16 Oct 2008 00:05:56 +0200
parents c5749e43b1d7
children
line wrap: on
line source

#!/bin/sh -e
## 05-share-man by Martin Michlmayr <tbm@cyrius.com>
##
## All lines beginning with `## DP:' are a description of the patch.
## DP: Install man pages in the right directory

--- bins-1.1.29.orig/install.sh
+++ bins-1.1.29/install.sh
@@ -36,7 +36,7 @@
 DATA="$SHARE/bins"
 GLADE="$DATA"
 LOCALE="$SHARE/locale"
-MAN="$PREFIX/man/man1"
+MAN="$SHARE/man/man1"
 
 cd `dirname $0`