diff --git a/coverage-tool/docs/reporting_user_guide.md b/coverage-tool/docs/reporting_user_guide.md index 7c0deea24c0c5b0f486d0dfbde8fcdee716989a3..1229b62e7b1e41f3e1d8f99a0f6660ddfe3c3167 100644 --- a/coverage-tool/docs/reporting_user_guide.md +++ b/coverage-tool/docs/reporting_user_guide.md @@ -241,7 +241,7 @@ An example snippet of an intermediate JSON file is here: ## Report LCOV uses **info** files to produce a HTML report; hence to convert the intermediate json file to **info** file: ```bash -$ python3 generate_info_file.py --workspace --json [--info ] +$ python3 generate_info_file.py --workspace --json [--info ] ``` As was mentioned, the *workspace* option tells the program where to look for the source files thus is a requirement that the local workspace is populated.