summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/guix.texi7
1 files changed, 4 insertions, 3 deletions
diff --git a/doc/guix.texi b/doc/guix.texi
index 5155e67481..2b8448c856 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -11668,9 +11668,10 @@ which will be searched for packages. It accepts as valid arguments:
@item the name of a known repository - can be one of @code{opam},
@code{coq} (equivalent to @code{coq-released}),
@code{coq-core-dev}, @code{coq-extra-dev} or @code{grew}.
-@item the URL of a repository as expected by the @code{opam repository
- add} command (for instance, the URL equivalent of the above
- @code{opam} name would be @uref{https://opam.ocaml.org}).
+@item the URL of a repository as expected by the
+ @code{opam repository add} command (for instance, the URL equivalent
+ of the above @code{opam} name would be
+ @uref{https://opam.ocaml.org}).
@item the path to a local copy of a repository (a directory containing a
@file{packages/} sub-directory).
@end itemize