[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.
--
Ralf
- Directory doc/gnus in Emacs CVS (was: Splitting gnus.texi), (continued)
- Re: Split man directory, Kim F. Storm, 2007/09/05
- Re: Split man directory, David Kastrup, 2007/09/05
- Re: Split man directory, Miles Bader, 2007/09/05
- Re: Split man directory, Richard Stallman, 2007/09/06
- Re: Split man directory, Glenn Morris, 2007/09/06
- Re: Split man directory, Eli Zaretskii, 2007/09/08
- Re: Split man directory, Richard Stallman, 2007/09/04
- Re: Split man directory,
Ralf Angeli <=