jedfuns.txt.gz needs unzipping

[G. Milde]

Dear friends,

After updating jed to 99.17-111, I get a lot of "undocumented" functions.

JED's online help scans all `Jed_Doc_Files' for function|variable
descriptions using get_doc_string_from_file(). This requires the files to be
uncompressed (we discussed this for libfuns.txt).

Here, Jed_Doc_Files contains

   /usr/share/jed/doc/txt/jedfuns.txt 
   /usr/share/jed/doc/txt/libfuns.txt 
   //share/doc/slang/v2/slangfun.txt  
   

Both, jedfuns.txt and slangfun.txt are gzipped in 99.17-111. The strange
path to slangfun.txt is the value of the variable _slang_doc_dir (but I did
not find out where it is set).


Guenter


-- 
G.Milde web.de