Merge pull request #290 from open-mpi/pr/git-submodules

Add a little text for git submodules

Author: jsquyres

source/git.php

@@ -26,7 +26,7 @@
 <li>Clone either of these repositories.  For example (as of October
 2014), to clone the main development repository via HTTPS:
 
-<?php print_code("<strong>shell$</strong> git clone https://github.com/open-mpi/ompi.git
+<?php print_code("<strong>shell$</strong> git clone --recursive https://github.com/open-mpi/ompi.git
 Cloning into 'ompi'...
 remote: Counting objects: 256644, done.
 remote: Total 256644 (delta 0), reused 0 (delta 0)

source/index.php

@@ -40,7 +40,7 @@
 
 <strong><font color=green>Advantage:</font></strong> You'll easily be
 able to keep up with the latest source code using normal Git
-commands (e.g., '<code>git pull --rebase</code>').<br>
+commands (e.g., '<code>git pull --rebase --recurse-submodules</code>').<br>
 <strong><font color=red>Disadvantage:</font></strong> You need to have
 <a href="building.php">several tools installed</a> to compile Open
 MPI from a developer checkout.</li>