diff options
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/scripts/texi2html.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Tools/scripts/texi2html.py b/Tools/scripts/texi2html.py index 9c1e9fe..5565c21 100755 --- a/Tools/scripts/texi2html.py +++ b/Tools/scripts/texi2html.py @@ -1806,7 +1806,7 @@ class HTMLHelp: print('<!-- This file defines the table of contents -->', file=fp) print('<HTML>', file=fp) print('<HEAD>', file=fp) - print('<meta name="GENERATOR"' + print('<meta name="GENERATOR" ' 'content="Microsoft® HTML Help Workshop 4.1">', file=fp) print('<!-- Sitemap 1.0 -->', file=fp) print('</HEAD>', file=fp) @@ -1831,7 +1831,7 @@ class HTMLHelp: print('<!-- This file defines the index -->', file=fp) print('<HTML>', file=fp) print('<HEAD>', file=fp) - print('<meta name="GENERATOR"' + print('<meta name="GENERATOR" ' 'content="Microsoft® HTML Help Workshop 4.1">', file=fp) print('<!-- Sitemap 1.0 -->', file=fp) print('</HEAD>', file=fp) |