1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

docbook-fixup.pl:

Fixed small bug


Docs/Support/docbook-fixup.pl:
  Fixed small bug
This commit is contained in:
unknown
2001-11-28 22:16:26 +02:00
parent ef5efcf05e
commit f923000ac0

View File

@ -34,7 +34,7 @@ $data =~ s{mailto:}
{}gs;
print STDERR "Fixing spacing problem with titles...\n";
$data =~ s{</(\w+)>(\w+)}
$data =~ s{</(\w+)>(\w{2,})}
{</$1> $2}gs;
@apx = ("Users", "MySQL Testimonials", "News",