Bug#446271: jed-extra: use jed_append_doc_file

[Rafael Laboissiere]

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

> Package: jed-extra
> Version: 2.4-1
> Severity: minor
> 
> Hi,
> 
> please, do not modify Jed_Doc_Files directly but use
> jed_append_doc_file() or jed_insert_doc_file(). I've put some code into
> jed 0.99.19~pre115-1 to modify set_doc_files() accordingly to make
> get_doc_string_from_file() work, which does not help if you modify
> Jed_Doc_Files by hand.

I think this is specific to 0.99-19, isn't it?  If yes, this bug will be
frozen until 0.99.19 enters unstable.

-- 
Rafael