summaryrefslogtreecommitdiff
path: root/macros/texinfo/texinfo/tp/t/init/mini_ker_t2h.init
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /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.init33
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);
+