# doc/*.html looks manually generated
source-is-missing [doc/command.html]
