Bug#446271: jed-extra: use jed_append_doc_file

[Rafael Laboissiere]

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

> Try
> insert(string( get_doc_string_from_file("message") )); % in .18
> insert(string( get_doc_string_from_file("get_color") )); % in .18
> insert(string( get_doc_string_from_file("get_color") )); % in .19~pre117
> 
> 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.

Thanks for the examples, it works here as you describe above.  Could you
please propose a patch for jed-extra to fix this?

-- 
Rafael