Minor tweak to documentation deployment script.

Accounts for differing output between different versions of git.