jedfuns.txt.gz needs unzipping
g.milde at web.de
Thu Sep 29 10:01:43 UTC 2005
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