diff options
| author | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-04-02 16:18:26 +0000 |
|---|---|---|
| committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-04-02 16:18:26 +0000 |
| commit | 87ed029c79514f1417fa42a1a3bda6c3716654f4 (patch) | |
| tree | 35f31e44574cbbad4129c9f90200de60f5f9b19c /doc/user/fatal.t | |
| parent | Added copy of HELP.html. (diff) | |
| download | rtems-87ed029c79514f1417fa42a1a3bda6c3716654f4.tar.bz2 | |
Added "findex" for all directive pages but it turns out that this
blows up both makeinfo and texi2dvi. So I have commented them out.
Diffstat (limited to 'doc/user/fatal.t')
| -rw-r--r-- | doc/user/fatal.t | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/user/fatal.t b/doc/user/fatal.t index 89ce538e2c..b39de2269c 100644 --- a/doc/user/fatal.t +++ b/doc/user/fatal.t @@ -116,6 +116,7 @@ constants, usage, and status codes. @subheading CALLING SEQUENCE: @ifset is-C +@c @findex rtems_fatal_error_occurred @example void volatile rtems_fatal_error_occurred( rtems_unsigned32 the_error |