aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/manual.cli12
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/manual.cli b/doc/manual.cli
index cd94396..6e57b7d 100644
--- a/doc/manual.cli
+++ b/doc/manual.cli
@@ -929,6 +929,7 @@ subsequent sections.
\
[location]: <uri>
+[type]: bpkg|git
[role]: base|prerequisite|complement
[url]: <url>
[email]: <email> [; <comment>]
@@ -960,6 +961,17 @@ location as a POSIX path and only fallback to the native representation if
that is not possible (for example, there is a drive letter in the path).]
+\h2#manifest-repository-type|\c{type}|
+
+\
+[type]: bpkg|git
+\
+
+The repository type. The type must be omitted for the base repository. If the
+type is omitted for a prerequisite/complement repository, then it is guessed
+from its \c{location} value as described in \l{bpkg-rep-add(1)}.
+
+
\h2#manifest-repository-role|\c{role}|
\