# source is docs/manual.xml
source-is-missing [docs/manual.html]
