[Pkg-jed-commit] r472 - jed/trunk/debian

Rafael Laboissiere rafael at debian.org
Wed Jan 10 16:06:22 CET 2007


* Jörg Sommer <joerg at alea.gnuu.de> [2007-01-10 12:10]:

> The question for me is, what is the usual extension [...]

>From "ls /usr/share/info" I see that the usual extension is
.info-[[:digit:]].gz,

> and why? Do you know why -[[:digit:]]*.gz is the usual extension?

I think that this is the default behavior of the makeinfo program, which
produces the *.info file and splits the contents throughout the *.info-n
files.  

Looking at info/jed.info, I see that it was generated with makeinfo 1.55,
which is quite old compared with the version currently in etch (4.8).
However, I think that this difference in versions does not explain why the
jed info files have the *.{n}in extension.  I would guess that this is
related to the MS-DOS ancient times when file extensions were limited to
three characters.  

At any rate, I do not know where to find the source texinfo file jed.ti.  It
would be quite important to include it in the package because we should
distribute the source along the binaries.  Also, we need to check for
DFSG-compliance of the document.

> I would like the packages differs as few as possible from the upstream.

Looking more carefully at my change, I see that it does not work because the
jed.{n}in files are referenced in jed.info.  In order of my change to work,
I would have to patch jed.info as well.  I reverted my change in SVN for
now.  

-- 
Rafael



More information about the Pkg-jed-devel mailing list