runit

commit 224fcfea04e16dfa6088c17757caca397971618e
parent 49cceaa94ae129fb00e4251069dc84cca7cc3cb1
Author: Gerrit Pape <pape@smarden.org>
Date:   Fri, 14 Jan 2005 22:38:23 +0000

html (part 1).

Diffstat:
M
doc/runsv.8.html
 | 
10
+++-------
M
doc/runsvctrl.8.html
 | 
10
+++-------

2 files changed, 6 insertions(+), 14 deletions(-)
diff --git a/doc/runsv.8.html b/doc/runsv.8.html
@@ -75,13 +75,9 @@ service is running, send it a ALRM signal. </dd>
 running, send it a INT signal. </dd>
 
 <dt><b>q</b> </dt>
-<dd>Quit. If the service is running, send it a QUIT signal. </dd>
-
-<dt><b>1</b> </dt>
-<dd>User-defined 1. If the service is running, send it a USR1 signal. </dd>
-
-<dt><b>2</b> </dt>
-<dd>User-defined 2. If the service is running, send it a USR2 signal. </dd>
+<dd>Quit. If the service is running, send it
+a QUIT signal. <b>1</b> User-defined 1. If the service is running, send it a USR1
+signal. </li><b></b><li>User-defined 2. If the service is running, send it a USR2 signal. </dd>
 
 <dt><b>t</b>
 </dt>
diff --git a/doc/runsvctrl.8.html b/doc/runsvctrl.8.html
@@ -57,13 +57,9 @@ is running, send it a ALRM signal. </dd>
 send it a INT signal. </dd>
 
 <dt><b>quit</b> </dt>
-If the service is running, send it a QUIT signal. </dd>
-
-<dt><b>1</b> </dt>
-<dd>User-defined 1. If the service is running, send it a USR1 signal. </dd>
-
-<dt><b>2</b> </dt>
-<dd>User-defined 2. If the service is running, send it a USR2 signal. </dd>
+<dd>If the service is running, send it a QUIT signal.
+</li><b></b><li>User-defined 1. If the service is running, send it a USR1 signal. </li><b></b><li>User-defined
+2. If the service is running, send it a USR2 signal. </dd>
 
 <dt><b>term</b> </dt>
 <dd>If the service