# HTML doc
source-is-missing *.html*
very-long-line-length-in-source-file *.html*
# Patch
very-long-line-length-in-source-file *debian/patches/fix-examples.patch*
