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

[Jörg Sommer]

The following commit has been merged in the master branch:
commit 02beed19385734cb4484f01ab001142d76972f36
Author: Jörg Sommer <joerg at alea.gnuu.de>
Date:   Sat Nov 21 21:54:05 2009 +0100

    Rename info page files to jed.info-X
    
    Lintian requests a special format of the name of the info page files. See
    lintian warning info-document-has-wrong-extension.

diff --git a/debian/rules b/debian/rules
index 370d60c..c9c0d10 100755
--- a/debian/rules
+++ b/debian/rules
@@ -103,6 +103,9 @@ binary-indep: config.status
 	    debian/Debian-Jed-Policy.txt
 
 	dh_installinfo -pjed-common info/jed.*
+	cd $(jed-common)/usr/share/info && \
+	  for i in 1 2 3; do mv jed.$${i}in jed.info-$$i; done && \
+	  sed -i '/jed\..in/s/jed\.\([123]\)in/jed.info-\1/' jed.info
 
 	mv $(jed-common)/usr/share/doc/jed-common/manual \
 	    $(jed-common)/usr/share/doc/jed-common/html

-- 
Debian packaging of JED