Is there a position paper anywhere on the use of GPL tool (ex: gcc) and proprietary code. For instance, can I use gcc to compile a proprietary c++ file and have the output be proprietary or is the output GPL'ed Stephen