Bug#446271: jed-extra: use jed_append_doc_file

[G. Milde]

On 18.10.07, Rafael Laboissiere wrote:
> * G. Milde <g.milde at quantentunnel.de> [2007-10-18 17:24]:

> > On 18.10.07, Rafael Laboissiere wrote:
> > > * G. Milde <milde at users.sourceforge.net> [2007-10-18 16:10]:
> > 
> > > > On 13.10.07, Jörg Sommer wrote:
> > > > 
> > > > > The Jed functions from jed/doc/hlp do not work in .18 but in .19~pre117.
> > > > > The SLang functions do work in both versions. The jed-extra function do
> > > > > work in no version.
> > > > 
> > > > This is fixed in the jed-extra help.sl drop-in::
> > > > 
> > > > [snip]
> > 
> > > Should we close this bug report?
> > 
> > IMO, it is easiest to close it with the next upstream-based release.

> Sorry, I thought this was not a bug in jed-extra 2.4.2-1.

It is no real bug IMO, so we could change it to a feature request -- but is
it worth the effort when it will be closed with the next release anyway?

Günter