diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /macros/texinfo/texinfo/tp/t/init/mini_ker_t2h.init |
Initial commit
Diffstat (limited to 'macros/texinfo/texinfo/tp/t/init/mini_ker_t2h.init')
-rw-r--r-- | macros/texinfo/texinfo/tp/t/init/mini_ker_t2h.init | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/macros/texinfo/texinfo/tp/t/init/mini_ker_t2h.init b/macros/texinfo/texinfo/tp/t/init/mini_ker_t2h.init new file mode 100644 index 0000000000..bf659aa874 --- /dev/null +++ b/macros/texinfo/texinfo/tp/t/init/mini_ker_t2h.init @@ -0,0 +1,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); + |