jedfuns.txt.gz needs unzipping

[G. Milde]

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

 
>   * Correct _slang_doc_dir to /usr/share/doc/libslang2. Closes: #317582.

Rafael hinted on this and so I updated and the path is nice again.

However, /usr/share/doc/libslang2/slangfun.txt.gz is gzipped, so I'll
file a bug report there.

Guenter

-- 
G.Milde web.de