diff lispref/symbols.texi @ 30018:c7243fc7bcb6

(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".
author Miles Bader <miles@gnu.org>
date Tue, 04 Jul 2000 04:46:05 +0000
parents f7b7fdb0f3f4
children 4d3831f2899f
line wrap: on
line diff