[Pkg-jed-commit] [SCM] Debian packaging of JED branch, jo-0.99.19, updated. 1%3A0.99.18+dfsg.1-10-291-ga668a94

[Jörg Sommer]

The following commit has been merged in the jo-0.99.19 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