Fix for generating documentation after moving to git.