Report generator option to disable generation of marked-up sources needed

Name: kbR10066 Date: 10/23/2001


Report generator always tries to create html versions of sources files
marked up with coverage information. Sometimes it is unnecessary for
a user, but can't be disabled.
======================================================================