diff --git a/man/manual.docbook b/man/manual.docbook index 4798edcdb..5dd33e95c 100644 --- a/man/manual.docbook +++ b/man/manual.docbook @@ -570,7 +570,7 @@ htmlreport/cppcheck-htmlreport --file=err.xml --report-dir=test1 --source-dir=.<
Check source code - Use the Check menu. + Use the Check menu.
@@ -579,7 +579,7 @@ htmlreport/cppcheck-htmlreport --file=err.xml --report-dir=test1 --source-dir=.< The results are shown in a list. You can show/hide certain types of messages through the - View menu. + View menu. Results can be saved to an XML file that can later be opened. See Save results to file and Open @@ -590,10 +590,11 @@ htmlreport/cppcheck-htmlreport --file=err.xml --report-dir=test1 --source-dir=.< Settings The language can be changed at any time by using the - Language menu. + Language menu. More settings are available in - Edit>Preferences. + EditPreferences + .