[Pkg-jed-commit] [SCM] Debian packaging of JED branch, master, updated. 1%3A0.99.18+dfsg.1-10-291-ga668a94
Jörg Sommer
joerg at alea.gnuu.de
Sat Nov 28 23:10:46 UTC 2009
The following commit has been merged in the master branch:
commit b5a3f9c00e7112678bbe0c8565a61d69322a8f2f
Author: Jörg Sommer <joerg at alea.gnuu.de>
Date: Mon Nov 16 00:47:57 2009 +0100
Install upstream info pages
By default, the upstream makefile doesn't install the info pages. The
Debian JED Group has shipped these pages for a long while and still
treats them as useful, even though they are outdated. So install these
files with dh_installinfo.
diff --git a/debian/rules b/debian/rules
index 5703397..370d60c 100755
--- a/debian/rules
+++ b/debian/rules
@@ -102,6 +102,8 @@ binary-indep: config.status
debian/init.d/README.Debian-startup \
debian/Debian-Jed-Policy.txt
+ dh_installinfo -pjed-common info/jed.*
+
mv $(jed-common)/usr/share/doc/jed-common/manual \
$(jed-common)/usr/share/doc/jed-common/html
--
Debian packaging of JED
More information about the Pkg-jed-commit
mailing list