diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2018-02-13 13:59:52 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-02-13 13:59:52 +0200 |
| commit | 5a8cd1a0cf9cf1843fea491dc1eaba15e7cdbee0 (patch) | |
| tree | 80703cb5a30865727313636567656b3f24a9480c /doc | |
| parent | d2f99230b4c655d3481ae5167666f59492f1b4ef (diff) | |
Spec type value in repository manifest
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual.cli | 12 |
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}| \ |