# A false positive. This html file is a source.
pwget source: source-is-missing [doc/manual/index.html]
