- s = gulp_file (f)
-
- if changelog_file:
- s = regsub.sub ('top_of_ChangeLog', '<XMP>\n'+ changes + '\n</XMP>\n', s)
-
- s = check_tag ('<body', '', s, 0)
- if regex.search ('<BODY', s) == -1:
- s = '<BODY>\n' + s
- s = regsub.sub ('<BODY>', '<BODY BGCOLOR=WHITE><FONT COLOR=BLACK>', s)
- if regex.search (banner_id, s) == -1:
- s = regsub.sub ('</body>', '</BODY>', s)
- s = regsub.sub ('</BODY>', banner_id + banner + '</BODY>', s)
- else:
- s = check_tag ('</body>', '</BODY>', s, 1)
-
- title = '<HEAD><TITLE>' \
- + package.Name + ' -- ' + os.path.basename (os.path.splitext(f)[0]) \
- + '</TITLE></HEAD>'
- s = check_tag ('<title>', title, s, 0)
-
- s = check_tag ('<html', '', s, 0)
- if regex.search ('<HTML', s) == -1:
- s = '<HTML>\n' + s
- s = check_tag ('</html>', '</HTML>', s, 1)
-
- dump_file (f, s)
+ s = gulp_file (f)
+ s = do_file (s)
+ open (f, 'w').write (s)
+
+if 0:
+ title = '<HEAD><TITLE>' \
+ + package_name + ' -- ' + os.path.basename (os.path.splitext(f)[0]) \
+ + '</TITLE></HEAD>'
+ s = check_tag ('<title>', title, s, 0)
+
+ s = check_tag ('<html', '', s, 0)
+ if regex.search ('<HTML', s) == -1:
+ s = '<HTML>\n' + s
+ s = check_tag ('</html>', '</HTML>', s, 1)
+
+ dump_file (f, s)