From 39079d8af20ad7eebbff41a6f350cfe158c0b3ed Mon Sep 17 00:00:00 2001 From: Florian Dold Date: Tue, 30 Jan 2018 01:45:48 +0100 Subject: use url instead of uri --- doc/onboarding.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/onboarding.texi') 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 -- cgit v1.2.3