Do not rebuild git.html unnecessarily