Re: Split man directory

[Eli Zaretskii]

> 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.