2012-07-20  Per Bothner  <address@hidden>

	* tp/Texinfo/Convert/DocBook.pm: Add phrase element around category,
	for easier processing of the output.

Index: tp/Texinfo/Convert/DocBook.pm
===================================================================
RCS file: /sources/texinfo/texinfo/tp/Texinfo/Convert/DocBook.pm,v
retrieving revision 1.46
diff -u -r1.46 DocBook.pm
--- tp/Texinfo/Convert/DocBook.pm	14 Jul 2012 11:41:55 -0000	1.46
+++ tp/Texinfo/Convert/DocBook.pm	21 Jul 2012 03:48:15 -0000
@@ -1178,7 +1178,7 @@
           if ($type eq 'spaces' or $type eq 'delimiter') {
             $result .= $content;
           } elsif ($type eq 'category') {
-            $result .= "<emphasis role=\"bold\">$content</emphasis>:";
+            $result .= "<phrase class=\"category\"><emphasis role=\"bold\">$content</emphasis>:</phrase>";
           } elsif ($type eq 'name') {
             $result .= "<$defcommand_name_type{$main_command}>$content</$defcommand_name_type{$main_command}>";
           } else {