jedfuns.txt.gz needs unzipping

G. Milde g.milde at
Thu Sep 29 10:01:43 UTC 2005

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


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).



More information about the Pkg-jed-devel mailing list