diff options
| author | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-04-02 16:49:17 +0000 |
|---|---|---|
| committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-04-02 16:49:17 +0000 |
| commit | 37e077c9dcc0c5afac71a522dde5955a0e2ac71f (patch) | |
| tree | 9cf2fc3cd2d871b244e2ed67bcbb6f4614dafc2e /doc/do_docs | |
| parent | Went back to not printing an index. makeinfo does fine if you have indices (diff) | |
| download | rtems-37e077c9dcc0c5afac71a522dde5955a0e2ac71f.tar.bz2 | |
Corrected wildcard for info files
Diffstat (limited to 'doc/do_docs')
0 files changed, 0 insertions, 0 deletions