This change has been incorporated into the documentation in Release 2009b (R2009b). For previous releases, read below for any additional information:
This is an error within the documentation for PolySpace Client for C/C++ 7.0.1 (R2009a).
The "Main Generator Options (-main-generator) for PolySpace" section should be referred to in the "PolySpace Products for C Reference" document:
<http://www.mathworks.com/access/helpdesk/help/pdf_doc/polyspace/c_ref.pdf>
Here,you will find a section named "Main Generator Options (-main-generator) for PolySpace Software" on page 1-32.
Best Answer