From 4516d30f5a9a57c23137d8517b1c8127c706046a Mon Sep 17 00:00:00 2001
From: Shougo Matsushita <Shougo.Matsu@gmail.com>
Date: Fri, 19 Apr 2024 12:22:16 +0900
Subject: [PATCH] Add repo doc

---
 doc/dpp.txt | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/dpp.txt b/doc/dpp.txt
index 8c83785..3c08154 100644
--- a/doc/dpp.txt
+++ b/doc/dpp.txt
@@ -406,6 +406,10 @@ path		(String)
 		Default:
 		"{base-path}/repos/{site-name}/{user-name}/{plugin-name}"
 
+                                                      *dpp-plugin-option-repo*
+repo		(String)
+		Specify the plugin repository.
+
                                                        *dpp-plugin-option-rev*
 rev		(String)
 		Specify a revision number or branch/tag name.