Bug#446271: jed-extra: use jed_append_doc_file

[G. Milde]

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::

  % backwards compatibility: feed Jed_Doc_Files to the internal doc files list
  #ifexists set_doc_files
  #ifexists Jed_Doc_Files  % might become obsoleted in 0.99.19
  private variable docfile;
  foreach (strchop(Jed_Doc_Files, ',', 0))
  {
     docfile=();
     !if (length(where(docfile == get_doc_files())))
       add_doc_file(docfile);
  }
  #endif
  #endif


This way we get with M-X show(get_doc_files())

* before evaluating help.sl:

  ["/usr/share/doc/libslang2/slangfun.txt"] 

* after a require("help.sl"):
  
  String_Type[15]
   [0] "/usr/share/doc/libslang2/slangfun.txt"
   [1] "/home/milde/.jed/lib/libfuns.txt"
   [2] "/usr/share/jed/jed-extra/drop-in/libfuns.txt"
   [3] "/usr/share/jed/doc/hlp/jedfuns.hlp"
   [4] "/usr/share/jed/doc/hlp/libfuns.hlp"
   [5] "/usr/share/slsh/help/pcrefuns.hlp"
   [6] "/usr/share/slsh/help/pngfuns.hlp"
   [7] "/usr/share/slsh/help/arrayfuns.hlp"
   [8] "/usr/share/slsh/help/glob.hlp"
   [9] "/usr/share/slsh/help/require.hlp"
   [10] "/usr/share/slsh/help/structfuns.hlp"
   [11] "/usr/share/slsh/help/sockfuns.hlp"
   [12] "/usr/share/slsh/local-packages/help/curl.hlp"
   [13] "/usr/share/jed/jed-extra/utils/libfuns.txt"
   [14] "/usr/share/jed/jed-extra/libfuns.txt"


I.e. not only the jed-extra functions, but also the slsh functions are made
available to get_doc_*().

Nevertheless, while it is not a bug in Jed 0.99.18, it should be easy to
modify libdir.sl to use set_doc_files() if it exists. 

See http://jedmodes.sf.net/mode/libdir/

Thanks

Günter