Update hook to generate doc at all time

Updating the html/ only if src/ has changed misses the
cases where src/ has been modified earlier on (possibly on
another dev's machine), without updating html/.
The two folders two are now out of sync, even though
src/ has not changed on the current commit.