diff options
Diffstat (limited to 'doc/source.rst')
-rw-r--r-- | doc/source.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/source.rst b/doc/source.rst index 8d831c4..640fc43 100644 --- a/doc/source.rst +++ b/doc/source.rst @@ -66,6 +66,9 @@ are interpreted relative to the current directory:: The ``source``, ``include``, and ``omit`` values all work together to determine the source that will be measured. +If both ``source`` and ``include`` are set, the ``include`` value is ignored +and a warning is printed on the standard output. + .. _source_reporting: |