jedfuns.txt.gz needs unzipping

Paul Boekholt p.boekholt at
Fri Sep 30 07:57:23 UTC 2005

On Fri, 30 Sep 2005 08:42:36 +0200, "G. Milde" <g.milde at> 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


  Installed documentation directory

  String_Type _slang_doc_dir

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

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

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

More information about the Pkg-jed-devel mailing list