database/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2026-01-06 05:22:24 +03:00
Code Activity

Patch our texi2html to produce more correct HTML.

Browse Source 
Thanks to Colin Faber <cfaber@fpsn.net> for the patch.


Docs/Support/texi2html:
  Patch to close </TD>, which is needed for some browsers.
BitKeeper/etc/logging_ok:
  Logging to logging@openlogging.org accepted
This commit is contained in:
unknown
2001-05-31 15:08:26 -04:00
parent a9642208bc
commit 4da43bddd7
2 changed files with 5 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
BitKeeper/etc/logging_ok
View File

@@ -2,3 +2,4 @@ jani@janikt.pp.saunalahti.fi
monty@hundin.mysql.fi
mwagner@evoq.mwagner.org
heikki@donna.mysql.fi
tim@threads.polyesthetic.msg

8
Docs/Support/texi2html
View File

@@ -845,7 +845,7 @@ READ_LINE: while ($_ = &next_line)
print "# end of multitable with $multitable_cols columns\n"
if $debug and $DEBUG_USER;
$in_multitable = 0;
push(@lines, "</TR>\n");
push(@lines, "</TD></TR>\n");
&html_pop_if('TR');
push(@lines, "</TABLE>\n");
&html_pop_if('TABLE');
@@ -1076,9 +1076,9 @@ EOC
{
# All this is a **HACK**.
# It does only work for a FEW SIMPLE CASES !!!
push(@lines, &debug("</TR>\n", __LINE__))
unless $html_element eq 'TABLE';;
&html_pop_if('TR');
push(@lines, &debug("</TD></TR>\n", __LINE__))
unless $html_element eq 'TABLE';
&html_pop_if('TR');
$what =~ s|\s+\@tab\s*| </TD><TD> |g;
push(@lines, &debug("<TR><TD>$what\n", __LINE__));
&html_push('TR');