diff --git a/tp/Texinfo/Convert/HTML.pm b/tp/Texinfo/Convert/HTML.pm index e27d165cbc..4079d582f7 100644 --- a/tp/Texinfo/Convert/HTML.pm +++ b/tp/Texinfo/Convert/HTML.pm @@ -4128,11 +4128,12 @@ sub _convert_def_line_type($$$$) } my $category = $command->{'extra'}->{'def_parsed_hash'}->{'category'}; my $category_result = ''; + my $category_suffix = ': '; my $category_tree; if ($category) { $category_tree = {'type' => '_code', - 'contents'=>[$self->gdt("{category}: ", {'category' => $category})] + 'contents'=>[$self->gdt("{category}", {'category' => $category})] }; # NB perhaps the category shouldn't be in_code. } else { @@ -4190,10 +4191,11 @@ sub _convert_def_line_type($$$$) 'type' => $command->{'extra'}->{'def_parsed_hash'}->{'type'}, 'name' => $name}; if ($self->get_conf('deftypefnnewline') eq 'on') { + $category_suffix = ':
'; $category_tree = {'type' => '_code', 'contents' - => [$self->gdt("{category}:\@* ", {'category' => $category})] + => [$self->gdt("{category}", {'category' => $category})] }; } else { $tree = $self->gdt("\@emph{{type}} \@strong{{name}}", @@ -4303,7 +4305,7 @@ sub _convert_def_line_type($$$$) if ($category_result ne '') { $category_result = $self->_attribute_class('span', 'category') - .">$category_result"; + .">$category_result".$category_suffix; } return "" .$category_result.$self->convert_tree({'type' => '_code',