Fix bug in Makefile handling of diff.html which doesn't always exist