Status of jed info files

[Rafael Laboissiere]

* Jörg Sommer <joerg at alea.gnuu.de> [2007-01-20 13:17]:

> Rafael Laboissiere schrieb am Fri 19. Jan, 16:50 (+0100):
> > There are several problems with this info documentation: (1) It is old. 
> > (2) It is no longer maintained.  (3) Up-to-date docs are (apparently)
> > provided elsewhere. (4) The source is not available.  (5) We do not know its
> > exact licensing terms.
> 
> Why do you think it is not licenced under the terms of GPL?

I never said it is not licenced under the terms of GPL.  I just said that
the license terms are unknown.  In Debian source packages, it is required
that either each source file has a license notice or that it is mentioned
elsewhere.  The ftp-master admins are very picky about this when considering
new packages for inclusion in Debian.  The jed packages were accepted a long
time ago, when the rules were not so rigid as today.

> I don't know about the source. I wouldn't require a source for an info
> file.

In Debian, the sources are usually shipped in the source package, even if
the upstream tarball contains the pre-built info files.

> Yes, you can build the info file from a different source, but I've
> also written man pages by hand.

Man pages in Debian written directly in nroff are considered as source files
in Debian.

> > Items (4) and (5) alone would be enough removing the info documentation from
> > the package, acoording to the Debian standards .  I propose that we do that.
> > Any objections?
> 
> I was just about to say the information in the info page is not provided
> elsewhere, but this is false. The html pages show the same information
> and the tex file might be the source of the info page.

It does not seem to be the case.  If you look at the top of file jed.info
you see:

    This is Info file jed.info, produced by Makeinfo-1.55 from the input
    file jed.ti.

It is clear that the info files were generated from a file called jed.ti.
We may ask John whether this source file is available.    

> I'm against removing the info page. I would suggest, we ask John what's
> the state of the info page.

Could you please ask him (and keep pkg-jed-devel in the Cc)?

Thanks,
 
-- 
Rafael