diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/onboarding.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/onboarding.texi b/doc/onboarding.texi index adfe58e..d625d17 100644 --- a/doc/onboarding.texi +++ b/doc/onboarding.texi @@ -341,7 +341,7 @@ The first step is to fetch the @cite{deployment} repository, which hosts all the needed scripts. @example -# Adapt the repository's URI to your needs. +# Adapt the repository's URL to your needs. $ git clone /var/git/deployment.git/ @end example |