diff options
Diffstat (limited to 'macros/texinfo/texinfo/tp/t/results/regions/anchor_in_titlepage.pl')
-rw-r--r-- | macros/texinfo/texinfo/tp/t/results/regions/anchor_in_titlepage.pl | 19 |
1 files changed, 14 insertions, 5 deletions
diff --git a/macros/texinfo/texinfo/tp/t/results/regions/anchor_in_titlepage.pl b/macros/texinfo/texinfo/tp/t/results/regions/anchor_in_titlepage.pl index 9d6f147d44..47de7a25da 100644 --- a/macros/texinfo/texinfo/tp/t/results/regions/anchor_in_titlepage.pl +++ b/macros/texinfo/texinfo/tp/t/results/regions/anchor_in_titlepage.pl @@ -219,7 +219,9 @@ $result_trees{'anchor_in_titlepage'} = { ], 'nodes_manuals' => [ { - 'node_content' => [], + 'node_content' => [ + {} + ], 'normalized' => 'Top' } ], @@ -266,7 +268,7 @@ $result_trees{'anchor_in_titlepage'}{'contents'}[2]{'contents'}[1]{'contents'}[0 $result_trees{'anchor_in_titlepage'}{'contents'}[2]{'contents'}[1]{'contents'}[1]{'parent'} = $result_trees{'anchor_in_titlepage'}{'contents'}[2]{'contents'}[1]; $result_trees{'anchor_in_titlepage'}{'contents'}[2]{'contents'}[1]{'parent'} = $result_trees{'anchor_in_titlepage'}{'contents'}[2]; $result_trees{'anchor_in_titlepage'}{'contents'}[2]{'extra'}{'node_content'}[0] = $result_trees{'anchor_in_titlepage'}{'contents'}[2]{'args'}[0]{'contents'}[0]; -$result_trees{'anchor_in_titlepage'}{'contents'}[2]{'extra'}{'nodes_manuals'}[0]{'node_content'} = $result_trees{'anchor_in_titlepage'}{'contents'}[2]{'extra'}{'node_content'}; +$result_trees{'anchor_in_titlepage'}{'contents'}[2]{'extra'}{'nodes_manuals'}[0]{'node_content'}[0] = $result_trees{'anchor_in_titlepage'}{'contents'}[2]{'args'}[0]{'contents'}[0]; $result_trees{'anchor_in_titlepage'}{'contents'}[2]{'parent'} = $result_trees{'anchor_in_titlepage'}; $result_texis{'anchor_in_titlepage'} = '@titlepage @@ -322,6 +324,9 @@ $result_menus{'anchor_in_titlepage'} = { $result_errors{'anchor_in_titlepage'} = []; +$result_floats{'anchor_in_titlepage'} = {}; + + $result_converted{'info'}->{'anchor_in_titlepage'} = 'This is , produced from . @@ -357,14 +362,16 @@ $result_converted{'html'}->{'anchor_in_titlepage'} = '<!DOCTYPE html PUBLIC "-// <meta name="keywords" content="top"> <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} @@ -373,6 +380,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> @@ -382,11 +390,12 @@ ul.no-bullet {list-style: none} <body lang="en"> -<span id="top"></span><h1 class="top">top</h1> +<div class="top" id="top"> +<h1 class="top">top</h1> <span id="Top"></span><h1 class="node-heading">Top</h1> <p>See <a href="#in-titlepage">in titlepage</a>. -</p><hr> +</p><hr></div> |