summaryrefslogtreecommitdiff
path: root/doc/onboarding.texi
diff options
context:
space:
mode:
authorFlorian Dold <florian.dold@gmail.com>2018-01-30 01:45:48 +0100
committerFlorian Dold <florian.dold@gmail.com>2018-01-30 01:45:48 +0100
commit39079d8af20ad7eebbff41a6f350cfe158c0b3ed (patch)
tree3ea34bcaf73197abe5f544a4a7af1a150813712e /doc/onboarding.texi
parentdedfddd31dc3f837365f1756741ecadb4d058650 (diff)
downloaddeployment-39079d8af20ad7eebbff41a6f350cfe158c0b3ed.tar.gz
deployment-39079d8af20ad7eebbff41a6f350cfe158c0b3ed.tar.bz2
deployment-39079d8af20ad7eebbff41a6f350cfe158c0b3ed.zip
use url instead of uri
Diffstat (limited to 'doc/onboarding.texi')
-rw-r--r--doc/onboarding.texi2
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