repo2html will no longer return a non-zero exit status when cref-bad is empty

This bug was introduced by the last commit.