blob: bf659aa874945b22c934b7058dfd156eb50dbbb6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
set_from_init_file('shortcontents', 1);
sub mini_ker_element_type($$$$)
{
my $self = shift;
my $cmdname = shift;
my $command = shift;
my $content = shift;
if ($self->element_is_top($command)) {
my $result = '';
$result .= &{$self->{'format_navigation_header'}}($self,
$self->get_conf('MISC_BUTTONS'), $cmdname, $command)
if ($self->get_conf('SPLIT') or $self->get_conf('HEADERS'));
$result .= &{$self->{'format_titlepage'}}($self);
my $overview = &{$self->{'format_contents'}}($self, 'shortcontents', undef);
if ($overview) {
$result .= '<h2> ' .$self->convert_tree($self->gdt('Overview:'))
. "</h2>\n" . "<blockquote>\n";
$result .= $overview;;
$result .= "</blockquote>\n";
}
$result .= &{$self->default_formatting_function('element_footer')}($self,
$cmdname, $command, $content);
return $result;
} else {
return &{$self->default_types_conversion($cmdname)}($self,
$cmdname, $command, $content);
}
}
texinfo_register_type_formatting('element', \&mini_ker_element_type);
|