# This is a false positive. The html file in question is indeed already
# available als source file... The file just happens to be a »ASCII text,
# with very long lines (619)«
trilinos source: source-is-missing */ug_alg_ptscotch.*
