aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2018-02-13 13:59:52 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2018-02-13 13:59:52 +0200
commit5a8cd1a0cf9cf1843fea491dc1eaba15e7cdbee0 (patch)
tree80703cb5a30865727313636567656b3f24a9480c
parentd2f99230b4c655d3481ae5167666f59492f1b4ef (diff)
Spec type value in repository manifest
-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}|
\