(woman-man.conf-path): Explicitly include the debian man-db config file
authorMiles Bader <miles@gnu.org>
Tue, 4 Jul 2000 04:46:05 +0000 (04:46 +0000)
committerMiles Bader <miles@gnu.org>
Tue, 4 Jul 2000 04:46:05 +0000 (04:46 +0000)
commit02df875089bbb29df1d96a2fad9b8bc3e5b3b61e
tree936eeb829a75c19c7a30dce2dafb99ca9895c27f
parent6753393b266d6cfd4f26e0beab026d5448754be5
(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".
lisp/woman.el