[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Split man directory

From: Ralf Angeli
Subject: Re: Split man directory
Date: Tue, 04 Sep 2007 19:57:42 +0200
User-agent: Gnus/5.110007 (No Gnus v0.7) Emacs/22.1.50 (gnu/linux)

* Richard Stallman (2007-09-04) writes:

>     It's only a directory name, what difference does it make? The "man"
>     directory is confusingly named, IMO, because it has nothing to do with
>     the traditional Unix "man" directory. It doesn't even contain sources
>     for man pages.
> Do others agree it would be better to rename this directory?

I do.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]