diff options
| -rw-r--r-- | site/git/index.php | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/site/git/index.php b/site/git/index.php index 8e0b392..123d240 100644 --- a/site/git/index.php +++ b/site/git/index.php @@ -146,11 +146,15 @@ to the git documentation.</b> </p> <p> - <?php echo gettext("Clone the git repository, and make your desired changes."); ?> + <?php echo gettext("Clone the git repository, and make your desired changes inside the newly created <i>libreboot</i> directory."); ?> <?php echo gettext("You can make one or several commits (as many as you like)."); ?> <?php echo gettext("Generally speaking, you should create separate commits on top of each other, for each kind of change."); ?> </p> <p> + When working with git, you will need your current working directory to be inside the <i>libreboot</i> directory that was just created.<br/> + $ <b>cd libreboot/</b> + </p> + <p> <?php echo gettext("Once you have made your change(s), you can use this to check the status:"); ?><br/> $ <b>git status</b> </p> |