Build fails when no changes to documentation

If there are no changes then git commit (and the build) fails - we use diff-index to test for no changes first.

Closes #1 (closed)