diff 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
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/debian/patches/05_share-man	Wed Oct 15 23:35:35 2008 +0200
@@ -0,0 +1,17 @@
+#!/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`
+