# These files are actually generated during the build
source-is-missing *doc/chap*.html*

