# This is a false positive error: the source is in doc/TCDevGuide.txt.
source-is-missing [doc/TCDevGuide.html]
