jedfuns.txt.gz needs unzipping

[Paul Boekholt]

On Fri, 30 Sep 2005 08:42:36 +0200, "G. Milde" <g.milde at web.de> said:

> On 29.09.05, Jörg Sommer wrote:

> > We should talk to John if he plans to drop support for Jed_Doc_Files,
> > because get_doc_files() exists and it is supported by
> > get_doc_string_from_file(). I would prefer dropping support for
> > Jed_Doc_Files.

> Unfortunately, both get_doc_files() and set_doc_files() are

>   intrinsic function  Undocumented

> However, I might have to support these in add_libdir().

get_doc_files(), set_doc_files(), add_doc_file()
get_doc_string_from_file() and _slang_doc_dir are all documented here (in
/usr/local/share/doc/slang/v2/slangfun.txt)

_slang_doc_dir

 SYNOPSIS
  Installed documentation directory

 USAGE
  String_Type _slang_doc_dir

 DESCRIPTION
   The `_slang_doc_dir' variable is a read-only variable that
   specifies the compile-time installation location of the S-Lang
   documentation.

BTW JED includes the slang doc_files setting in Jed_Doc_Files at
startup. In site.sl:

#ifexists _slang_doc_dir
if (strlen(_slang_doc_dir) > 0)
  $1 = _slang_doc_dir;

...

Jed_Doc_Files = strcat (Jed_Doc_Files, ",",
			path_concat ($1, "slangfun.txt"));


> However, /usr/share/doc/libslang2/slangfun.txt.gz is gzipped, so I'll
> file a bug report there.
That's bad, it won't work in slsh either.