diff doc/Rvinterf-tools @ 587:5b88ba62b9ae

doc/Rvinterf-tools: rvinterf -P option documented
author Mychaela Falconia <falcon@freecalypso.org>
date Mon, 03 Feb 2020 07:56:57 +0000
parents 5484dab78c33
children ad503b495e3e
line wrap: on
line diff
--- 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