summaryrefslogtreecommitdiff
path: root/doc/source.rst
diff options
context:
space:
mode:
Diffstat (limited to 'doc/source.rst')
-rw-r--r--doc/source.rst3
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: