diff options
author | Florian Dold <florian.dold@gmail.com> | 2018-01-30 01:45:48 +0100 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2018-01-30 01:45:48 +0100 |
commit | 39079d8af20ad7eebbff41a6f350cfe158c0b3ed (patch) | |
tree | 3ea34bcaf73197abe5f544a4a7af1a150813712e /doc | |
parent | dedfddd31dc3f837365f1756741ecadb4d058650 (diff) | |
download | deployment-39079d8af20ad7eebbff41a6f350cfe158c0b3ed.tar.gz deployment-39079d8af20ad7eebbff41a6f350cfe158c0b3ed.tar.bz2 deployment-39079d8af20ad7eebbff41a6f350cfe158c0b3ed.zip |
use url instead of uri
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 |