doc: Show the "git clone" command.
authorLudovic Courtès <ludo@gnu.org>
Thu, 20 Jul 2017 15:05:07 +0000 (17:05 +0200)
committerLudovic Courtès <ludo@gnu.org>
Thu, 20 Jul 2017 16:08:00 +0000 (18:08 +0200)
commitdbfcadfc304bf2dab73f4e88377e7fe902e1ca72
tree89d12fa0148fc5a796c329ad5a601d695e690a5f
parent302d46e63f406f0f8acb024557498deaef2d4255
doc: Show the "git clone" command.

Suggested by Joshua Branson <jbranso91@gmail.com>.

* doc/contributing.texi (Building from Git): Add "git clone" command.
doc/contributing.texi