docgen.pl
changeset 70 e43e386c8a33
parent 1 7d87d323c889
child 72 d049c92d0809
--- a/docgen.pl	Fri Apr 03 09:26:21 2009 +0300
+++ b/docgen.pl	Mon Apr 06 17:21:19 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>/;