[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Split man directory
From: |
Richard Stallman |
Subject: |
Re: Split man directory |
Date: |
Tue, 04 Sep 2007 12:45:57 -0400 |
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?
- Re: Splitting gnus.texi, (continued)
- Re: Splitting gnus.texi, Jay Belanger, 2007/09/25
- Re: Splitting gnus.texi, Richard Stallman, 2007/09/26
- 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 <=
- Re: Split man directory, Ralf Angeli, 2007/09/04