diff options
| -rwxr-xr-x | tools/credits.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/credits.pl b/tools/credits.pl index 3878eb47fa..6b2c96677e 100755 --- a/tools/credits.pl +++ b/tools/credits.pl @@ -146,8 +146,7 @@ sub begin_credits { print " <tbody>\n"; } elsif ($mode eq "HTML") { print "<!-- This file was generated by credits.pl. Do not edit by hand! -->\n"; - print "<h1>$title</h1>\n"; - print "<table border='0' cellpadding='5' cellspacing='0' style='margin-left: 3em;'>\n"; + print "<table border='0' cellpadding='5' cellspacing='0'>\n"; } } @@ -194,6 +193,7 @@ sub begin_section { print "</entry></row>\n"; } elsif ($mode eq "HTML") { print "<tr><td colspan=3><h2>$title:</h2></td></tr>\n"; +# print "<tr><td colspan=3><?php html_subhead_start(\"$title\"); ?></td></tr>\n"; } } |