[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Split man directory
From: |
Eli Zaretskii |
Subject: |
Re: Split man directory |
Date: |
Sat, 01 Sep 2007 11:16:37 +0300 |
> From: Glenn Morris <address@hidden>
> Date: Fri, 31 Aug 2007 22:49:47 -0400
> Cc: address@hidden
>
> Would you prefer a subdirectory of man (man/aux), or a new directory
> at the same level (man-aux)?
Please, whatever you do, don't give that directory the name "aux": it
will cause a terrible trouble on MS-DOS/MS-Windows. "aux" is a name
of a legacy device driver there, so no real disk file can have that
name, nor any name that matches the "aux.*" wildcard.
- Re: Split man directory,
Eli Zaretskii <=
- Re: Split man directory, Richard Stallman, 2007/09/01
- Re: Split man directory, Glenn Morris, 2007/09/01
- Re: Split man directory, Andreas Schwab, 2007/09/02
- Re: Split man directory, Richard Stallman, 2007/09/03
- Re: Split man directory, Glenn Morris, 2007/09/03
- Re: Split man directory, Ralf Angeli, 2007/09/03
- Re: Split man directory, Eli Zaretskii, 2007/09/03
- Re: Split man directory, Leo, 2007/09/03
- Re: Split man directory, David Kastrup, 2007/09/03
- Re: Split man directory, Stefan Monnier, 2007/09/04