-doc | -documentation
Web ブラウザーでの Polyspace ドキュメンテーションの表示
構文
-doc
-documentation
説明
-doc
および -documentation
は、既定の Web ブラウザーで Polyspace® Web ドキュメンテーションを開きます。コマンドや解析オプションの使い方、ワークフロー、リファレンス ページなどの情報を確認できます。このドキュメンテーションを検索することもできます。
例
システムの Web ブラウザーで、次のようにして Polyspace ドキュメンテーションを表示します。
Bug Finder:
polyspace-bug-finder -doc polyspace-bug-finder -documentation
Code Prover:
polyspace-code-prover -doc polyspace-code-prover -documentation
Bug Finder Server:
polyspace-bug-finder-server -doc polyspace-bug-finder-server -documentation
Code Prover Server:
polyspace-code-prover-server -doc polyspace-code-prover-server -documentation