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/ada_user/Makefile | |
| 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/ada_user/Makefile')
0 files changed, 0 insertions, 0 deletions