diff options
author | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-04-02 16:21:08 +0000 |
---|---|---|
committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-04-02 16:21:08 +0000 |
commit | 56061f5d46348a825ad96305cd8dfe0bc6e26c75 (patch) | |
tree | 8a3c64a16a953672be79c5951763dada12879403 /doc/ada_user | |
parent | Added "findex" for all directive pages but it turns out that this (diff) | |
download | rtems-56061f5d46348a825ad96305cd8dfe0bc6e26c75.tar.bz2 |
Went back to not printing an index. makeinfo does fine if you have indices
but do not print them. texi2dvi barfs if the entries are even there.
Diffstat (limited to 'doc/ada_user')
0 files changed, 0 insertions, 0 deletions