[SCM] pd-flite/master: patched ./configure to install help-files to library install dir

rdz-guest at users.alioth.debian.org rdz-guest at users.alioth.debian.org
Wed Nov 2 09:50:59 UTC 2011


The following commit has been merged in the master branch:
commit 16e2258220209626e10c8033a70686ecdef59d2a
Author: Roman Haefeli <reduzent at gmail.com>
Date:   Wed Nov 2 09:45:05 2011 +0000

    patched ./configure to install help-files to library install dir

diff --git a/debian/patches/fix-help-files-install-dir.patch b/debian/patches/fix-help-files-install-dir.patch
new file mode 100644
index 0000000..4005c84
--- /dev/null
+++ b/debian/patches/fix-help-files-install-dir.patch
@@ -0,0 +1,25 @@
+Description: fix configure to install help-files to extdir
+Author: Roman Haefeli <reduzent at gmail.com>
+--- a/configure
++++ b/configure
+@@ -4134,9 +4134,6 @@
+ 
+ 
+ 
+- pddocdir="${pddir}/doc/5.reference"
+-
+-
+  ##-- pdincludedir
+ 
+ # Check whether --with-pd-include was given.
+@@ -4166,6 +4163,10 @@
+  pdexternsdir="$pdextdir"
+  pdexecdir="$pdextdir"
+ 
++ ##-- pddocdir
++ # Nowadays the help files usually are installed besides the class files
++ pddocdir="${pdextdir}"
++
+ 
+  ## pd-directory/ies
+  ##^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..21011bc
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+fix-help-files-install-dir.patch

-- 
pd-flite packaging



More information about the pkg-multimedia-commits mailing list