[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 c30b6682b90fe1f5f9a473188d337ea51330fec9
Author: Jörg Sommer <joerg at alea.gnuu.de>
Date:   Mon Nov 16 00:27:23 2009 +0100

    Don't build info pages from jed.tex
    
    Upstream has modified the info pages provided in the upstream source.
    Hence we can use these files and don't have to build them from scratch.

diff --git a/debian/rules b/debian/rules
index df36ca9..c8809fe 100755
--- a/debian/rules
+++ b/debian/rules
@@ -102,11 +102,6 @@ binary-indep: config.status
 	    debian/init.d/README.Debian-startup \
 	    debian/Debian-Jed-Policy.txt
 
-	# generate info files from jed.tex
-	mkdir -p $(jed-common)/usr/share/info
-	cd $(jed-common)/usr/share/info/; hevea -fix -info -o jed.info \
-	    $(jed-common)/usr/share/doc/jed-common/manual/jed.tex
-
 	mv $(jed-common)/usr/share/doc/jed-common/manual \
 	    $(jed-common)/usr/share/doc/jed-common/html
 

-- 
Debian packaging of JED