This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
"file name" vs "filename"
- From: Gerald Pfeifer <gerald at pfeifer dot com>
- To: gcc at gcc dot gnu dot org, Sandra Loosemore <sandra at codesourcery dot com>, "Joseph S. Myers" <joseph at codesourcery dot com>
- Date: Sun, 1 Apr 2018 22:15:59 +0200 (CEST)
- Subject: "file name" vs "filename"
And now to the most important question of all. ;-) Should we use
"file name" or "filename" when referring to the name of a file?
Our docs currently are about even and I think it would be good to
settle on one?
% grep "filename" $GCC/gcc/doc/*.texi | wc -l
92
% grep "file name" $GCC/gcc/doc/*.texi | wc -l
103
(Once we have consensus, I'll add that to codingconventions.html
and start by making the web pages consistent.)
Gerald