# Do not generate diff for changes inside doc/html/: these changes are due to
# 06_remove-tracking-javascript-and-remote-images.patch and are wanted.
extend-diff-ignore = "(^|/)doc/html/"
