diff options
Diffstat (limited to 'macros/texinfo/texinfo/tp/t/results/float/ref_to_float.pl')
-rw-r--r-- | macros/texinfo/texinfo/tp/t/results/float/ref_to_float.pl | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/macros/texinfo/texinfo/tp/t/results/float/ref_to_float.pl b/macros/texinfo/texinfo/tp/t/results/float/ref_to_float.pl index 04c979e00c..48c9b2fa62 100644 --- a/macros/texinfo/texinfo/tp/t/results/float/ref_to_float.pl +++ b/macros/texinfo/texinfo/tp/t/results/float/ref_to_float.pl @@ -87,7 +87,9 @@ $result_trees{'ref_to_float'} = { 'normalized' => 'Label1', 'spaces_before_argument' => ' ', 'type' => { - 'content' => [], + 'content' => [ + {} + ], 'normalized' => 'Text' } }, @@ -301,7 +303,7 @@ $result_trees{'ref_to_float'}{'contents'}[0]{'contents'}[1]{'args'}[0]{'parent'} $result_trees{'ref_to_float'}{'contents'}[0]{'contents'}[1]{'parent'} = $result_trees{'ref_to_float'}{'contents'}[0]; $result_trees{'ref_to_float'}{'contents'}[0]{'extra'}{'end_command'} = $result_trees{'ref_to_float'}{'contents'}[0]{'contents'}[1]; $result_trees{'ref_to_float'}{'contents'}[0]{'extra'}{'node_content'}[0] = $result_trees{'ref_to_float'}{'contents'}[0]{'args'}[1]{'contents'}[0]; -$result_trees{'ref_to_float'}{'contents'}[0]{'extra'}{'type'}{'content'} = $result_trees{'ref_to_float'}{'contents'}[0]{'args'}[0]{'contents'}; +$result_trees{'ref_to_float'}{'contents'}[0]{'extra'}{'type'}{'content'}[0] = $result_trees{'ref_to_float'}{'contents'}[0]{'args'}[0]{'contents'}[0]; $result_trees{'ref_to_float'}{'contents'}[0]{'parent'} = $result_trees{'ref_to_float'}; $result_trees{'ref_to_float'}{'contents'}[1]{'parent'} = $result_trees{'ref_to_float'}; $result_trees{'ref_to_float'}{'contents'}[2]{'args'}[0]{'parent'} = $result_trees{'ref_to_float'}{'contents'}[2]; @@ -437,13 +439,15 @@ $result_converted{'html'}->{'ref_to_float'} = '<!DOCTYPE html PUBLIC "-//W3C//DT <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"> + <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} @@ -452,6 +456,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> |