updated css for better html output.

2 files changed, 3 insertions, 3 deletions

diff --git a/doc/scripts/gdoc b/doc/scripts/gdoc
index 307888c986..f93342d493 100755
--- a/doc/scripts/gdoc
+++ b/doc/scripts/gdoc
@@ -377,7 +377,7 @@ sub output_enum_texinfo {
     my $type;
 
     print "\n\@c $name\n";
-    print "\@itemize\n";
+    print "\@table \@code\n";
 
     $check=0;
     foreach $parameter (@{$args{'parameterlist'}}) {
@@ -393,7 +393,7 @@ sub output_enum_texinfo {
 	chomp $out;
 	print $out . "\n";
     }
-    print "\@end itemize\n";
+    print "\@end table\n";
 }
 
 # output in html
diff --git a/doc/scripts/split-texi.pl b/doc/scripts/split-texi.pl
index b4b0087d5f..325afaffb4 100755
--- a/doc/scripts/split-texi.pl
+++ b/doc/scripts/split-texi.pl
@@ -30,7 +30,7 @@ sub key_of_record {
 }
 
 if ($enum == 1) {
-  $/="\@end itemize";          # Records are separated by blank lines.
+  $/="\@end table";          # Records are separated by blank lines.
 } else {
   $/="\n\\end{function}";          # Records are separated by blank lines.
 }