diff options
| author | Joel Sherrill <joel.sherrill@OARcorp.com> | 1997-06-04 18:32:07 +0000 |
|---|---|---|
| committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 1997-06-04 18:32:07 +0000 |
| commit | 139b2e4a00c3972322e3fa359ffab605fd11aa3f (patch) | |
| tree | 6c65c9a7217387972f1d179c92ec4eac53d7f403 /doc/import_ami_txt | |
| parent | added CVS Id string (diff) | |
| download | rtems-139b2e4a00c3972322e3fa359ffab605fd11aa3f.tar.bz2 | |
added CVS Id string
Diffstat (limited to 'doc/import_ami_txt')
| -rw-r--r-- | doc/import_ami_txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/import_ami_txt b/doc/import_ami_txt index 3de3af993d..0017c99f68 100644 --- a/doc/import_ami_txt +++ b/doc/import_ami_txt @@ -4,6 +4,8 @@ # into a reasonably acceptable form of Texinfo. The output of this program # is fed into another program which inserts texinfo node and menu infomation. # +# $Id$ +# #set -x |