On Sun, Apr 1, 2018, 3:16 PM Gerald Pfeifer <ger...@pfeifer.com> wrote:
> 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.) Searching and looking at online dictionaries, it looks like filename is the currently preferred form. --joel > > Gerald >
