history man page

[Russ Allbery]

Julien ÉLIE <julien at trigofacile.com> writes:

> Shouldn't we change the name of the history man page?
> Because it is quite hard to view!
>
> I always obtain "history - GNU History Library" and I think
> it is the same for other people.
> Even with the Debian package, it does not work (I have checked,
> in case my installation from sources had not been done well).

man 5 history should give you the right man page.  When there are multiple
man pages with the same name in different sections, you have to specify
the section separately or you get whatever the earliest numbered section
is, and historically development interfaces come before file formats.

-- 
Russ Allbery (rra at stanford.edu)             <http://www.eyrie.org/~eagle/>

    Please send questions to the list rather than mailing me directly.
     <http://www.eyrie.org/~eagle/faqs/questions.html> explains why.