Bug#446271: jed-extra: use jed_append_doc_file

[Rafael Laboissiere]

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

> Hallo Rafael,
> 
> Rafael Laboissiere schrieb am Fri 12. Oct, 08:57 (+0200):
>
> > I think this is specific to 0.99-19, isn't it?
> 
> Yes and no. The change is specific to 0.99.19, but that
> get_doc_string_from_file() does not find the documents from jed-extra,
> because jed-extra doesn't register it's files, is also valid in 0.99.18.
> But please check this, I don't have a 0.99.18 at hand.

It does work for me here with jed 0.99.18+dfsg.1-9 and jed-extra 2.4-1.  For
instance, if I type (emacs emulation) <C-h> <C-f> make_ini <enter>, then I
see the help string for make_ini, which is in
/usr/share/jed/jed-extra/libfuns.txt.

> > If yes, this bug will be frozen until 0.99.19 enters unstable.
> 
> Can't you use #if … #else … #endif to support both?

Sure.  Please, propose a patch.

-- 
Rafael