Bug#446271: jed-extra: use jed_append_doc_file
Rafael Laboissiere
rafael at debian.org
Thu Oct 18 14:31:48 UTC 2007
* 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?
--
Rafael
More information about the Pkg-jed-devel
mailing list