MATLAB: Where can I find the “Main Generator Options for PolySpace” section in the PolySpace Client for C/C++ 7.0.1 (R2009a) documentation

Polyspace Client for C/C++

On page 6-4 of PDF document titled "PolySpace Products for C User's Guide", there is reference to a section named "Main Generator Options (-main-generator) for PolySpace" in the "PolySpace Client/Server for C User's Guide" document:
 <http://www.mathworks.com/access/helpdesk/help/pdf_doc/polyspace/c_ug.pdf>
However, there is no PolySpace document called "PolySpace Client/Server for C User's Guide".

Best Answer

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.
Related Question