diff options
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 |