From 5a8cd1a0cf9cf1843fea491dc1eaba15e7cdbee0 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Tue, 13 Feb 2018 13:59:52 +0200
Subject: Spec type value in repository manifest

---
 doc/manual.cli | 12 ++++++++++++
 1 file changed, 12 insertions(+)

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}|
 
 \
-- 
cgit v1.1