diff options
| author | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-04-03 15:38:31 +0000 |
|---|---|---|
| committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-04-03 15:38:31 +0000 |
| commit | 0bbbf5278596a2e89c66a0940828ca6b255fd602 (patch) | |
| tree | 8b1630f73cfff412c2e7fb3b18780a1b6ead9ba5 /doc/tools/texi2www/texi2www | |
| parent | Changed Perl executable location (diff) | |
| download | rtems-0bbbf5278596a2e89c66a0940828ca6b255fd602.tar.bz2 | |
Base file
Diffstat (limited to '')
| -rwxr-xr-x | doc/tools/texi2www/texi2www | 4 | ||||
| -rw-r--r-- | doc/tools/texi2www/texi2wwwdoc.texi | 2 |
2 files changed, 5 insertions, 1 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 diff --git a/doc/tools/texi2www/texi2wwwdoc.texi b/doc/tools/texi2www/texi2wwwdoc.texi index 030dd41d89..2791b0451c 100644 --- a/doc/tools/texi2www/texi2wwwdoc.texi +++ b/doc/tools/texi2www/texi2wwwdoc.texi @@ -1,7 +1,7 @@ \input texinfo @c -*-texinfo-*- @comment %**start of header -@setfilename texi2wwwdoc.info +@setfilename texi2www @settitle texi2www user's guide @comment %**end of header |