Makefile: make sure topgit.html updates when out of date