diff options
Diffstat (limited to 'macros/texinfo/texinfo/tp/t/results/menu/menu_in_example.pl')
-rw-r--r-- | macros/texinfo/texinfo/tp/t/results/menu/menu_in_example.pl | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/macros/texinfo/texinfo/tp/t/results/menu/menu_in_example.pl b/macros/texinfo/texinfo/tp/t/results/menu/menu_in_example.pl index 8c4a470d8f..3fe789e75c 100644 --- a/macros/texinfo/texinfo/tp/t/results/menu/menu_in_example.pl +++ b/macros/texinfo/texinfo/tp/t/results/menu/menu_in_example.pl @@ -540,7 +540,9 @@ $result_trees{'menu_in_example'} = { ], 'nodes_manuals' => [ { - 'node_content' => [], + 'node_content' => [ + {} + ], 'normalized' => 'Top' } ], @@ -645,7 +647,7 @@ $result_trees{'menu_in_example'}{'contents'}[1]{'contents'}[1]{'contents'}[2]{'p $result_trees{'menu_in_example'}{'contents'}[1]{'contents'}[1]{'extra'}{'end_command'} = $result_trees{'menu_in_example'}{'contents'}[1]{'contents'}[1]{'contents'}[2]; $result_trees{'menu_in_example'}{'contents'}[1]{'contents'}[1]{'parent'} = $result_trees{'menu_in_example'}{'contents'}[1]; $result_trees{'menu_in_example'}{'contents'}[1]{'extra'}{'node_content'}[0] = $result_trees{'menu_in_example'}{'contents'}[1]{'args'}[0]{'contents'}[0]; -$result_trees{'menu_in_example'}{'contents'}[1]{'extra'}{'nodes_manuals'}[0]{'node_content'} = $result_trees{'menu_in_example'}{'contents'}[1]{'extra'}{'node_content'}; +$result_trees{'menu_in_example'}{'contents'}[1]{'extra'}{'nodes_manuals'}[0]{'node_content'}[0] = $result_trees{'menu_in_example'}{'contents'}[1]{'args'}[0]{'contents'}[0]; $result_trees{'menu_in_example'}{'contents'}[1]{'parent'} = $result_trees{'menu_in_example'}; $result_texis{'menu_in_example'} = '@node Top @@ -709,6 +711,9 @@ $result_errors{'menu_in_example'} = [ ]; +$result_floats{'menu_in_example'} = {}; + + $result_converted{'plaintext'}->{'menu_in_example'} = '* Menu: @@ -733,14 +738,16 @@ $result_converted{'html'}->{'menu_in_example'} = '<!DOCTYPE html PUBLIC "-//W3C/ <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} @@ -749,6 +756,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> @@ -781,7 +789,6 @@ ul.no-bullet {list-style: none} <hr> - </body> </html> '; |