Add repo doc

Shougo · Apr 19, 2024 · 4516d30 · 4516d30
1 parent 3f08fd9
commit 4516d30
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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.