Merge branch 'jc/doc-git-updates' (early part)

* 'jc/doc-git-updates' (early part): Documentation: update URL for formatted pages

Junio C Hamano committed Aug 17, 2012 at 13:27 UTC 91e4bfe96f1e72a3ce743fe032bfadfc9509fc2a

No changes.