diff options
| author | Miles Bader | 2000-07-04 04:46:05 +0000 |
|---|---|---|
| committer | Miles Bader | 2000-07-04 04:46:05 +0000 |
| commit | 02df875089bbb29df1d96a2fad9b8bc3e5b3b61e (patch) | |
| tree | 936eeb829a75c19c7a30dce2dafb99ca9895c27f /src | |
| parent | 6753393b266d6cfd4f26e0beab026d5448754be5 (diff) | |
| download | emacs-02df875089bbb29df1d96a2fad9b8bc3e5b3b61e.tar.gz emacs-02df875089bbb29df1d96a2fad9b8bc3e5b3b61e.zip | |
(woman-man.conf-path): Explicitly include the debian man-db config file
"/etc/manpath.config".
(woman-parse-man.conf): Also handle MANDATORY_MANPATH entries, as
are present in `manpath.config'.
(woman-manpath): Include "/usr/share/man".
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions