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