diff -r 09b375e9ce32 -r ab4470465a0c docgen.pl
--- a/docgen.pl	Fri Mar 27 09:43:41 2009 +0200
+++ b/docgen.pl	Sun Apr 05 14:55:51 2009 +0300
@@ -78,6 +78,8 @@
 			s/^A: /<br\/>Arguments: /;
 			s/^R: /<br\/>Return values: /;
 			s/^V: /<br\/>Values: /;
+			s/^\[ /<br\/><pre>/;
+			s/^\]/<\/pre><br\/>/;
 			if ( $list ) {
 				if ( /^\* / ) {
 					s/^\* /<\/li><li>/;