# HG changeset patch
# User Mychaela Falconia <falcon@freecalypso.org>
# Date 1580716617 0
# Node ID 5b88ba62b9ae34f55afda7bce3e3fb82f4aacaaf
# Parent  f3af56eac3f4c008cd7a7926d683bc1665b3c975
doc/Rvinterf-tools: rvinterf -P option documented

diff -r f3af56eac3f4 -r 5b88ba62b9ae doc/Rvinterf-tools
--- a/doc/Rvinterf-tools	Mon Feb 03 07:51:11 2020 +0000
+++ b/doc/Rvinterf-tools	Mon Feb 03 07:56:57 2020 +0000
@@ -77,6 +77,10 @@
 	behind the scenes instead of connecting to an already-running rvinterf
 	instance.
 
+-P <boot control name>
+
+	See Target-boot-control article.
+
 -s pathname_for_socket
 
 	By default the local UNIX domain socket created by rvinterf is bound to