# documentation is generated by gtk-doc
# false positive, see https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1017094
source-is-missing [doc/html/*.html]
