diff --git a/doc/tools/code2doc b/doc/tools/code2doc
index 7c404d00..ae5b5cc3 100755
--- a/doc/tools/code2doc
+++ b/doc/tools/code2doc
@@ -28,8 +28,12 @@ while (<FILEIN>)
 		print FILEOUT "\n\n" if $start;
 		$_ = $1;
 		if ($_ =~ s/\s*\*\/$//) { $found = 'sorta'; } else { $found = $.; }
-		my $dash;  for (my $x = 0; $x < length($_); $x++) { $dash .= '-'; }
-		$_ = "$_\n$dash\n\n";
+		if ($_ =~ /::/) { $_ = "$_\n\n"; }
+		else
+		{
+			my $dash; for (my $x = 0; $x < length($_); $x++) { $dash .= '-'; }
+			$_ = "$_\n$dash\n\n";
+		}
 		$first = 1;
 	}
 	elsif ($_ =~ /\s*([A-Z0-9_]+),\s*\/\*::\s*(.*)\s+\*\/$/)