From ab57a0ec2a141e95a75b85b0818fc37bbc08c309 Mon Sep 17 00:00:00 2001
From: Alberto Bertogli <albertito@blitiri.com.ar>
Date: Tue, 16 Jun 2009 16:14:25 -0300
Subject: [PATCH 37/48] Add references to fiu-run and fiu-ctrl in the documentation

While at it, improve the BUGS section of libfiu's manpage a little bit.

Signed-off-by: Alberto Bertogli <albertito@blitiri.com.ar>
---
 doc/remote_control.rst |    3 ++-
 libfiu/libfiu.3        |    9 ++++++---
 2 files changed, 8 insertions(+), 4 deletions(-)

diff --git a/doc/remote_control.rst b/doc/remote_control.rst
index 859623b..4db4103 100644
--- a/doc/remote_control.rst
+++ b/doc/remote_control.rst
@@ -12,7 +12,8 @@ pipes.
 Remote control must be enabled by the controlled process using *fiu_rc_fifo()*
 (for named pipes). A set of utilities are provided to enable remote control
 without having to alter the application's source code, which can be useful for
-performing failure injection in libraries.
+performing fault injection in libraries, see *fiu-run* and *fiu-ctrl* for more
+information.
 
 
 Remote control protocol
diff --git a/libfiu/libfiu.3 b/libfiu/libfiu.3
index b75d3d2..60d8953 100644
--- a/libfiu/libfiu.3
+++ b/libfiu/libfiu.3
@@ -168,9 +168,12 @@ functions.
 Enables remote control over named pipes with the given basename. See the
 remote control documentation that comes with the library for more detail.
 
-.SH BUGS
+.SH SEE ALSO
+.BR fiu-run (1),
+.BR fiu-ctrl (1).
 
+.SH BUGS
 If you want to report bugs, or have any questions or comments, just let me
-know at albertito@blitiri.com.ar. For more information about the library, you
-can go to http://blitiri.com.ar/p/libfiu.
+know at albertito@blitiri.com.ar. For more information about libfiu, you can
+go to http://blitiri.com.ar/p/libfiu.
 
-- 
1.6.2.2.646.gb214

