diff options
Diffstat (limited to 'doc/tools/texi2www/texi2www')
| -rwxr-xr-x | doc/tools/texi2www/texi2www | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/tools/texi2www/texi2www b/doc/tools/texi2www/texi2www index 285d9ca663..91c6cc14db 100755 --- a/doc/tools/texi2www/texi2www +++ b/doc/tools/texi2www/texi2www @@ -1,5 +1,9 @@ #!/usr/bin/perl # (Works with both perl 4 and perl 5) +# +# $Id$ +# + $version = 'Jan 2 1996'; $copyright = <<EOT; texi2www - converts texinfo to HTML |