Jack Nagel 4e2c45f5d1 Undocument --use-gcc and friends ...

These options are deprecated in favor of --cc=<compiler>, so there is no
need to continue advertising their existence.

2013-11-03 11:48:09 -06:00

..

man1

Undocument --use-gcc and friends

2013-11-03 11:48:09 -06:00