summaryrefslogtreecommitdiff
path: root/macros/texinfo/texinfo/tp/t/results/regions/format_in_titlepage.pl
diff options
context:
space:
mode:
Diffstat (limited to 'macros/texinfo/texinfo/tp/t/results/regions/format_in_titlepage.pl')
-rw-r--r--macros/texinfo/texinfo/tp/t/results/regions/format_in_titlepage.pl15
1 files changed, 11 insertions, 4 deletions
diff --git a/macros/texinfo/texinfo/tp/t/results/regions/format_in_titlepage.pl b/macros/texinfo/texinfo/tp/t/results/regions/format_in_titlepage.pl
index 9c70d7b838..245d0ad7e6 100644
--- a/macros/texinfo/texinfo/tp/t/results/regions/format_in_titlepage.pl
+++ b/macros/texinfo/texinfo/tp/t/results/regions/format_in_titlepage.pl
@@ -180,7 +180,9 @@ $result_trees{'format_in_titlepage'} = {
],
'nodes_manuals' => [
{
- 'node_content' => [],
+ 'node_content' => [
+ {}
+ ],
'normalized' => 'Top'
}
],
@@ -221,7 +223,7 @@ $result_trees{'format_in_titlepage'}{'contents'}[1]{'args'}[0]{'contents'}[0]{'p
$result_trees{'format_in_titlepage'}{'contents'}[1]{'args'}[0]{'parent'} = $result_trees{'format_in_titlepage'}{'contents'}[1];
$result_trees{'format_in_titlepage'}{'contents'}[1]{'contents'}[0]{'parent'} = $result_trees{'format_in_titlepage'}{'contents'}[1];
$result_trees{'format_in_titlepage'}{'contents'}[1]{'extra'}{'node_content'}[0] = $result_trees{'format_in_titlepage'}{'contents'}[1]{'args'}[0]{'contents'}[0];
-$result_trees{'format_in_titlepage'}{'contents'}[1]{'extra'}{'nodes_manuals'}[0]{'node_content'} = $result_trees{'format_in_titlepage'}{'contents'}[1]{'extra'}{'node_content'};
+$result_trees{'format_in_titlepage'}{'contents'}[1]{'extra'}{'nodes_manuals'}[0]{'node_content'}[0] = $result_trees{'format_in_titlepage'}{'contents'}[1]{'args'}[0]{'contents'}[0];
$result_trees{'format_in_titlepage'}{'contents'}[1]{'parent'} = $result_trees{'format_in_titlepage'};
$result_texis{'format_in_titlepage'} = '@titlepage
@@ -262,6 +264,9 @@ $result_menus{'format_in_titlepage'} = {
$result_errors{'format_in_titlepage'} = [];
+$result_floats{'format_in_titlepage'} = {};
+
+
$result_converted{'info'}->{'format_in_titlepage'} = 'This is , produced from .
@@ -293,14 +298,16 @@ $result_converted{'html'}->{'format_in_titlepage'} = '<!DOCTYPE html PUBLIC "-//
<meta name="keywords" content="Untitled Document">
<meta name="resource-type" content="document">
<meta name="distribution" content="global">
+<meta name="viewport" content="width=device-width,initial-scale=1">
+
<link href="#Top" rel="start" title="Top">
<style type="text/css">
<!--
+a.copiable-anchor {visibility: hidden; text-decoration: none; line-height: 0em}
a.summary-letter {text-decoration: none}
blockquote.indentedblock {margin-right: 0em}
div.display {margin-left: 3.2em}
div.example {margin-left: 3.2em}
-div.lisp {margin-left: 3.2em}
kbd {font-style: oblique}
pre.display {font-family: inherit}
pre.format {font-family: inherit}
@@ -309,6 +316,7 @@ pre.menu-preformatted {font-family: serif}
span.nolinebreak {white-space: nowrap}
span.roman {font-family: initial; font-weight: normal}
span.sansserif {font-family: sans-serif; font-weight: normal}
+span:hover a.copiable-anchor {visibility: visible}
ul.no-bullet {list-style: none}
-->
</style>
@@ -323,7 +331,6 @@ ul.no-bullet {list-style: none}
<hr>
-
</body>
</html>
';