# false positive, see https://bugs.debian.org/1014045
source: source-is-missing [doc/html/*.html]
