fix web reversion when the srcdir is in a subdir of the git repo.