diff man/gnu.texi @ 29854:ca9f6085d33b

(Documentation): Describe how man pages with identical names by different sections are handled by M-x man and M-x woman.
author Eli Zaretskii <eliz@gnu.org>
date Thu, 22 Jun 2000 14:52:22 +0000
parents ac7e9e5e2ccb
children df827c1def99
line wrap: on
line diff