diff options
| -rw-r--r-- | doc/guix.texi | 7 |
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 |