adapt commentary and make notes more concise

Author: tevio

cmake/script/CoverageInclude.cmake.in

@@ -24,6 +24,8 @@ separate_arguments(LCOV_OPTS)
 set(LCOV_COMMAND ${LCOV_EXECUTABLE} --gcov-tool ${CMAKE_CURRENT_LIST_DIR}/cov_tool_wrapper.sh ${LCOV_OPTS})
 
 find_program(GENHTML_EXECUTABLE genhtml REQUIRED)
+
+# HTML_OPTS is optionally passed via -D flag.
 # If HTML_OPTS is not provided, implicitly pass LCOV_OPTS to genhtml.
 separate_arguments(HTML_OPTS)
 set(GENHTML_OPTS ${HTML_OPTS})

doc/developer-notes.md

@@ -508,8 +508,7 @@ enabled by setting `LCOV_OPTS="--rc branch_coverage=1"`:
 cmake -DLCOV_OPTS="--rc branch_coverage=1" -P build/Coverage.cmake
 ```
 
-HTML_OPTS can be specified to provide an options override to genhtml from the default LCOV_OPTS, the program that generates the
-html report from lcov: `HTML_OPTS="--exclude boost"`.
+HTML_OPTS can override the genhtml options (which default to LCOV_OPTS).
 
 ```
 cmake -DHTML_OPTS="--exclude boost" -P build/Coverage.cmake