texinfo-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

branch master updated: * tp/init/html32.pm: set NO_CUSTOM_HTML_ATTRIBUTE


From: Patrice Dumas
Subject: branch master updated: * tp/init/html32.pm: set NO_CUSTOM_HTML_ATTRIBUTE.
Date: Sun, 19 Dec 2021 17:57:26 -0500

This is an automated email from the git hooks/post-receive script.

pertusus pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new d322557  * tp/init/html32.pm: set NO_CUSTOM_HTML_ATTRIBUTE.
d322557 is described below

commit d32255720dc9985f6024e8424cbfa5c68cc6fecf
Author: Patrice Dumas <pertusus@free.fr>
AuthorDate: Sun Dec 19 23:57:17 2021 +0100

    * tp/init/html32.pm: set NO_CUSTOM_HTML_ATTRIBUTE.
---
 ChangeLog                                          |   4 +
 tp/init/html32.pm                                  |   1 +
 .../res_parser/formatting_html32/formatting.html   | 540 ++++++++++-----------
 3 files changed, 275 insertions(+), 270 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index a325342..04a0ec6 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
 2021-12-19  Patrice Dumas  <pertusus@free.fr>
 
+       * tp/init/html32.pm: set NO_CUSTOM_HTML_ATTRIBUTE.
+
+2021-12-19  Patrice Dumas  <pertusus@free.fr>
+
        * tp/Texinfo/Convert/HTML.pm (_convert_math_command)
        (_convert_heading_command, _contents_inline_element)
        (_convert_special_element_type): always call
diff --git a/tp/init/html32.pm b/tp/init/html32.pm
index 71b7e4d..5b33c13 100644
--- a/tp/init/html32.pm
+++ b/tp/init/html32.pm
@@ -50,6 +50,7 @@ texinfo_set_from_init_file('L2H_HTML_VERSION', '3.2');
 # no css, no class
 texinfo_set_from_init_file('NO_CSS', 1);
 texinfo_set_from_init_file('COPIABLE_ANCHORS', 0);
+texinfo_set_from_init_file('NO_CUSTOM_HTML_ATTRIBUTE', 1);
 
 # no accesskey in html 3.2
 texinfo_set_from_init_file('USE_ACCESSKEY', 0);
diff --git a/tp/tests/layout/res_parser/formatting_html32/formatting.html 
b/tp/tests/layout/res_parser/formatting_html32/formatting.html
index 48caa8e..23b9b73 100644
--- a/tp/tests/layout/res_parser/formatting_html32/formatting.html
+++ b/tp/tests/layout/res_parser/formatting_html32/formatting.html
@@ -1461,10 +1461,10 @@ f(x) = {1 \over \sigma \sqrt{2\pi}}e<sup>-{1 \over 
2}\left({x-\mu \over \sigma}\
 </p></dd></dl>
 
 
-<p><code>@xref{c---hapter@@, cross r---ef name@@, t---itle@@, file n---ame@@, 
ma---nual@@}</code> See <a data-manual="file n---ame@" href="file 
n---ame@.html#c_002d_002d_002dhapter_0040">t--itle@</a> in 
<cite>ma--nual@</cite>.
-<code>@ref{chapter, cross ref name, title, file name, manual}</code> <a 
data-manual="file name" href="file name.html#chapter">title</a> in 
<cite>manual</cite>
-<code>@pxref{chapter, cross ref name, title, file name, manual}</code> see <a 
data-manual="file name" href="file name.html#chapter">title</a> in 
<cite>manual</cite>
-<code>@inforef{chapter, cross ref name, file name}</code> See <a 
data-manual="file name" href="file name.html#chapter">(file name)cross ref 
name</a>
+<p><code>@xref{c---hapter@@, cross r---ef name@@, t---itle@@, file n---ame@@, 
ma---nual@@}</code> See <a href="file 
n---ame@.html#c_002d_002d_002dhapter_0040">t--itle@</a> in 
<cite>ma--nual@</cite>.
+<code>@ref{chapter, cross ref name, title, file name, manual}</code> <a 
href="file name.html#chapter">title</a> in <cite>manual</cite>
+<code>@pxref{chapter, cross ref name, title, file name, manual}</code> see <a 
href="file name.html#chapter">title</a> in <cite>manual</cite>
+<code>@inforef{chapter, cross ref name, file name}</code> See <a href="file 
name.html#chapter">(file name)cross ref name</a>
 </p>
 <p><code>@ref{chapter}</code> <a href="#chapter">chapter</a>
 <code>@xref{chapter}</code> See <a href="#chapter">chapter</a>.
@@ -1473,58 +1473,58 @@ f(x) = {1 \over \sigma \sqrt{2\pi}}e<sup>-{1 \over 
2}\left({x-\mu \over \sigma}\
 </p>
 <p><code>@ref{s--ect@comma{}ion, a @comma{} in cross
 ref, a comma@comma{} in title, a comma@comma{} in file, a @comma{} in manual 
name }</code>
-<a data-manual="a comma, in file" href="a comma, in 
file.html#s_002d_002dect_002cion">a comma, in title</a> in <cite>a , in manual 
name</cite>
+<a href="a comma, in file.html#s_002d_002dect_002cion">a comma, in title</a> 
in <cite>a , in manual name</cite>
 </p>
 <p><code>@ref{chapter,cross ref name}</code> <a href="#chapter">cross ref 
name</a>
 <code>@ref{chapter,,title}</code> <a href="#chapter">title</a>
-<code>@ref{chapter,,,file name}</code> <a data-manual="file name" href="file 
name.html#chapter">(file name)chapter</a>
+<code>@ref{chapter,,,file name}</code> <a href="file name.html#chapter">(file 
name)chapter</a>
 <code>@ref{chapter,,,,manual}</code> `chapter' in <cite>manual</cite>
 <code>@ref{chapter,cross ref name,title,}</code> <a href="#chapter">title</a>
-<code>@ref{chapter,cross ref name,,file name}</code> <a data-manual="file 
name" href="file name.html#chapter">(file name)cross ref name</a>
+<code>@ref{chapter,cross ref name,,file name}</code> <a href="file 
name.html#chapter">(file name)cross ref name</a>
 <code>@ref{chapter,cross ref name,,,manual}</code> `cross ref name' in 
<cite>manual</cite>
-<code>@ref{chapter,cross ref name,title,file name}</code> <a data-manual="file 
name" href="file name.html#chapter">(file name)title</a>
+<code>@ref{chapter,cross ref name,title,file name}</code> <a href="file 
name.html#chapter">(file name)title</a>
 <code>@ref{chapter,cross ref name,title,,manual}</code> `title' in 
<cite>manual</cite>
-<code>@ref{chapter,cross ref name,title, file name, manual}</code> <a 
data-manual="file name" href="file name.html#chapter">title</a> in 
<cite>manual</cite>
-<code>@ref{chapter,,title,file name}</code> <a data-manual="file name" 
href="file name.html#chapter">(file name)title</a>
+<code>@ref{chapter,cross ref name,title, file name, manual}</code> <a 
href="file name.html#chapter">title</a> in <cite>manual</cite>
+<code>@ref{chapter,,title,file name}</code> <a href="file 
name.html#chapter">(file name)title</a>
 <code>@ref{chapter,,title,,manual}</code> `title' in <cite>manual</cite>
-<code>@ref{chapter,,title, file name, manual}</code> <a data-manual="file 
name" href="file name.html#chapter">title</a> in <cite>manual</cite>
-<code>@ref{chapter,,,file name,manual}</code> <a data-manual="file name" 
href="file name.html#chapter">chapter</a> in <cite>manual</cite>
-</p>
-
-<p><code>@ref{(pman)anode,cross ref name}</code> <a data-manual="pman" 
href="pman.html#anode">(pman)cross ref name</a>
-<code>@ref{(pman)anode,,title}</code> <a data-manual="pman" 
href="pman.html#anode">(pman)title</a>
-<code>@ref{(pman)anode,,,file name}</code> <a data-manual="file name" 
href="file name.html#anode">(file name)anode</a>
-<code>@ref{(pman)anode,,,,manual}</code> <a data-manual="pman" 
href="pman.html#anode">anode</a> in <cite>manual</cite>
-<code>@ref{(pman)anode,cross ref name,title,}</code> <a data-manual="pman" 
href="pman.html#anode">(pman)title</a>
-<code>@ref{(pman)anode,cross ref name,,file name}</code> <a data-manual="file 
name" href="file name.html#anode">(file name)cross ref name</a>
-<code>@ref{(pman)anode,cross ref name,,,manual}</code> <a data-manual="pman" 
href="pman.html#anode">cross ref name</a> in <cite>manual</cite>
-<code>@ref{(pman)anode,cross ref name,title,file name}</code> <a 
data-manual="file name" href="file name.html#anode">(file name)title</a>
-<code>@ref{(pman)anode,cross ref name,title,,manual}</code> <a 
data-manual="pman" href="pman.html#anode">title</a> in <cite>manual</cite>
-<code>@ref{(pman)anode,cross ref name,title, file name, manual}</code> <a 
data-manual="file name" href="file name.html#anode">title</a> in 
<cite>manual</cite>
-<code>@ref{(pman)anode,,title,file name}</code> <a data-manual="file name" 
href="file name.html#anode">(file name)title</a>
-<code>@ref{(pman)anode,,title,,manual}</code> <a data-manual="pman" 
href="pman.html#anode">title</a> in <cite>manual</cite>
-<code>@ref{(pman)anode,,title, file name, manual}</code> <a data-manual="file 
name" href="file name.html#anode">title</a> in <cite>manual</cite>
-<code>@ref{(pman)anode,,,file name,manual}</code> <a data-manual="file name" 
href="file name.html#anode">anode</a> in <cite>manual</cite>
-</p>
-
-<p><code>@inforef{chapter, cross ref name, file name}</code> See <a 
data-manual="file name" href="file name.html#chapter">(file name)cross ref 
name</a>
+<code>@ref{chapter,,title, file name, manual}</code> <a href="file 
name.html#chapter">title</a> in <cite>manual</cite>
+<code>@ref{chapter,,,file name,manual}</code> <a href="file 
name.html#chapter">chapter</a> in <cite>manual</cite>
+</p>
+
+<p><code>@ref{(pman)anode,cross ref name}</code> <a 
href="pman.html#anode">(pman)cross ref name</a>
+<code>@ref{(pman)anode,,title}</code> <a href="pman.html#anode">(pman)title</a>
+<code>@ref{(pman)anode,,,file name}</code> <a href="file 
name.html#anode">(file name)anode</a>
+<code>@ref{(pman)anode,,,,manual}</code> <a href="pman.html#anode">anode</a> 
in <cite>manual</cite>
+<code>@ref{(pman)anode,cross ref name,title,}</code> <a 
href="pman.html#anode">(pman)title</a>
+<code>@ref{(pman)anode,cross ref name,,file name}</code> <a href="file 
name.html#anode">(file name)cross ref name</a>
+<code>@ref{(pman)anode,cross ref name,,,manual}</code> <a 
href="pman.html#anode">cross ref name</a> in <cite>manual</cite>
+<code>@ref{(pman)anode,cross ref name,title,file name}</code> <a href="file 
name.html#anode">(file name)title</a>
+<code>@ref{(pman)anode,cross ref name,title,,manual}</code> <a 
href="pman.html#anode">title</a> in <cite>manual</cite>
+<code>@ref{(pman)anode,cross ref name,title, file name, manual}</code> <a 
href="file name.html#anode">title</a> in <cite>manual</cite>
+<code>@ref{(pman)anode,,title,file name}</code> <a href="file 
name.html#anode">(file name)title</a>
+<code>@ref{(pman)anode,,title,,manual}</code> <a 
href="pman.html#anode">title</a> in <cite>manual</cite>
+<code>@ref{(pman)anode,,title, file name, manual}</code> <a href="file 
name.html#anode">title</a> in <cite>manual</cite>
+<code>@ref{(pman)anode,,,file name,manual}</code> <a href="file 
name.html#anode">anode</a> in <cite>manual</cite>
+</p>
+
+<p><code>@inforef{chapter, cross ref name, file name}</code> See <a href="file 
name.html#chapter">(file name)cross ref name</a>
 <code>@inforef{chapter}</code> See `chapter'
 <code>@inforef{chapter, cross ref name}</code> See `cross ref name'
-<code>@inforef{chapter,,file name}</code> See <a data-manual="file name" 
href="file name.html#chapter">(file name)chapter</a>
-<code>@inforef{node, cross ref name, file name}</code> See <a 
data-manual="file name" href="file name.html#node">(file name)cross ref name</a>
+<code>@inforef{chapter,,file name}</code> See <a href="file 
name.html#chapter">(file name)chapter</a>
+<code>@inforef{node, cross ref name, file name}</code> See <a href="file 
name.html#node">(file name)cross ref name</a>
 <code>@inforef{node}</code> See `node'
 <code>@inforef{node, cross ref name}</code> See `cross ref name'
-<code>@inforef{node,,file name}</code> See <a data-manual="file name" 
href="file name.html#node">(file name)node</a>
-<code>@inforef{chapter, cross ref name, file name, spurious arg}</code> See <a 
data-manual="file name, spurious arg" href="file name, spurious 
arg.html#chapter">(file name, spurious arg)cross ref name</a>
+<code>@inforef{node,,file name}</code> See <a href="file name.html#node">(file 
name)node</a>
+<code>@inforef{chapter, cross ref name, file name, spurious arg}</code> See <a 
href="file name, spurious arg.html#chapter">(file name, spurious arg)cross ref 
name</a>
 </p>
 <p><code>@inforef{s--ect@comma{}ion, a @comma{} in cross
 ref, a comma@comma{} in file}</code>
-See <a data-manual="a comma, in file" href="a comma, in 
file.html#s_002d_002dect_002cion">(a comma, in file)a , in cross
+See <a href="a comma, in file.html#s_002d_002dect_002cion">(a comma, in file)a 
, in cross
 ref</a>
 </p>
 <p>`<samp><a href="#chapter">chapter</a></samp>'.
 </p>
-<p><a data-manual="info file with uref3 href://http/myhost.com/index3.html 
(uref3)" href="index3.html (uref3).html#ext">title with uref2 <a 
href="href://http/myhost.com/index2.html">uref2</a></a> in <cite>printed manual 
with uref4 <a href="href://http/myhost.com/index4.html">uref4</a></cite>
+<p><a href="index3.html (uref3).html#ext">title with uref2 <a 
href="href://http/myhost.com/index2.html">uref2</a></a> in <cite>printed manual 
with uref4 <a href="href://http/myhost.com/index4.html">uref4</a></cite>
 <a href="#chapter">title with uref2 <a 
href="href://http/myhost.com/index2.html">uref2</a></a>
 </p>
 <dl compact="compact">
@@ -1706,37 +1706,37 @@ html ''
 </p>
 <p><code>@ref{,cross ref name}</code> `cross ref name'
 <code>@ref{,,title}</code> `title'
-<code>@ref{,,,file name}</code> <a data-manual="file name" href="file 
name.html#Top">(file name)</a>
+<code>@ref{,,,file name}</code> <a href="file name.html#Top">(file name)</a>
 <code>@ref{,,,,manual}</code> <cite>manual</cite>
 <code>@ref{node,cross ref name}</code> `cross ref name'
 <code>@ref{node,,title}</code> `title'
-<code>@ref{node,,,file name}</code> <a data-manual="file name" href="file 
name.html#node">(file name)node</a>
+<code>@ref{node,,,file name}</code> <a href="file name.html#node">(file 
name)node</a>
 <code>@ref{node,,,,manual}</code> `node' in <cite>manual</cite>
 <code>@ref{node,cross ref name,title,}</code> `title'
-<code>@ref{node,cross ref name,,file name}</code> <a data-manual="file name" 
href="file name.html#node">(file name)cross ref name</a>
+<code>@ref{node,cross ref name,,file name}</code> <a href="file 
name.html#node">(file name)cross ref name</a>
 <code>@ref{node,cross ref name,,,manual}</code> `cross ref name' in 
<cite>manual</cite>
-<code>@ref{node,cross ref name,title,file name}</code> <a data-manual="file 
name" href="file name.html#node">(file name)title</a>
+<code>@ref{node,cross ref name,title,file name}</code> <a href="file 
name.html#node">(file name)title</a>
 <code>@ref{node,cross ref name,title,,manual}</code> `title' in 
<cite>manual</cite>
-<code>@ref{node,cross ref name,title, file name, manual}</code> <a 
data-manual="file name" href="file name.html#node">title</a> in 
<cite>manual</cite>
-<code>@ref{node,,title,file name}</code> <a data-manual="file name" href="file 
name.html#node">(file name)title</a>
+<code>@ref{node,cross ref name,title, file name, manual}</code> <a href="file 
name.html#node">title</a> in <cite>manual</cite>
+<code>@ref{node,,title,file name}</code> <a href="file name.html#node">(file 
name)title</a>
 <code>@ref{node,,title,,manual}</code> `title' in <cite>manual</cite>
-<code>@ref{chapter,,title, file name, manual}</code> <a data-manual="file 
name" href="file name.html#chapter">title</a> in <cite>manual</cite>
-<code>@ref{node,,title, file name, manual}</code> <a data-manual="file name" 
href="file name.html#node">title</a> in <cite>manual</cite>
-<code>@ref{node,,,file name,manual}</code> <a data-manual="file name" 
href="file name.html#node">node</a> in <cite>manual</cite>
+<code>@ref{chapter,,title, file name, manual}</code> <a href="file 
name.html#chapter">title</a> in <cite>manual</cite>
+<code>@ref{node,,title, file name, manual}</code> <a href="file 
name.html#node">title</a> in <cite>manual</cite>
+<code>@ref{node,,,file name,manual}</code> <a href="file 
name.html#node">node</a> in <cite>manual</cite>
 <code>@ref{,cross ref name,title,}</code> `title'
-<code>@ref{,cross ref name,,file name}</code> <a data-manual="file name" 
href="file name.html#Top">(file name)cross ref name</a>
+<code>@ref{,cross ref name,,file name}</code> <a href="file 
name.html#Top">(file name)cross ref name</a>
 <code>@ref{,cross ref name,,,manual}</code> `cross ref name' in 
<cite>manual</cite>
-<code>@ref{,cross ref name,title,file name}</code> <a data-manual="file name" 
href="file name.html#Top">(file name)title</a>
+<code>@ref{,cross ref name,title,file name}</code> <a href="file 
name.html#Top">(file name)title</a>
 <code>@ref{,cross ref name,title,,manual}</code> `title' in <cite>manual</cite>
-<code>@ref{,cross ref name,title, file name, manual}</code> <a 
data-manual="file name" href="file name.html#Top">title</a> in 
<cite>manual</cite>
-<code>@ref{,,title,file name}</code> <a data-manual="file name" href="file 
name.html#Top">(file name)title</a>
+<code>@ref{,cross ref name,title, file name, manual}</code> <a href="file 
name.html#Top">title</a> in <cite>manual</cite>
+<code>@ref{,,title,file name}</code> <a href="file name.html#Top">(file 
name)title</a>
 <code>@ref{,,title,,manual}</code> `title' in <cite>manual</cite>
-<code>@ref{,,title, file name, manual}</code> <a data-manual="file name" 
href="file name.html#Top">title</a> in <cite>manual</cite>
-<code>@ref{,,,file name,manual}</code> <cite><a data-manual="file name" 
href="file name.html#Top">manual</a></cite>
+<code>@ref{,,title, file name, manual}</code> <a href="file 
name.html#Top">title</a> in <cite>manual</cite>
+<code>@ref{,,,file name,manual}</code> <cite><a href="file 
name.html#Top">manual</a></cite>
 </p>
 <p><code>@inforef{,cross ref name }</code> See `cross ref name'
-<code>@inforef{,,file name}</code> See <a data-manual="file name" href="file 
name.html#Top">(file name)</a>
-<code>@inforef{,cross ref name, file name}</code> See <a data-manual="file 
name" href="file name.html#Top">(file name)cross ref name</a>
+<code>@inforef{,,file name}</code> See <a href="file name.html#Top">(file 
name)</a>
+<code>@inforef{,cross ref name, file name}</code> See <a href="file 
name.html#Top">(file name)cross ref name</a>
 <code>@inforef{}</code> 
 </p>
 
@@ -2413,10 +2413,10 @@ f(x) = {1 \over \sigma \sqrt{2\pi}}e<sup>-{1 \over 
2}\left({x-\mu \over \sigma}\
 </p></dd></dl>
 
 
-<p><code>@xref{c---hapter@@, cross r---ef name@@, t---itle@@, file n---ame@@, 
ma---nual@@}</code> See <a data-manual="file n---ame@" href="file 
n---ame@.html#c_002d_002d_002dhapter_0040">t--itle@</a> in 
<cite>ma--nual@</cite>.
-<code>@ref{chapter, cross ref name, title, file name, manual}</code> <a 
data-manual="file name" href="file name.html#chapter">title</a> in 
<cite>manual</cite>
-<code>@pxref{chapter, cross ref name, title, file name, manual}</code> see <a 
data-manual="file name" href="file name.html#chapter">title</a> in 
<cite>manual</cite>
-<code>@inforef{chapter, cross ref name, file name}</code> See <a 
data-manual="file name" href="file name.html#chapter">(file name)cross ref 
name</a>
+<p><code>@xref{c---hapter@@, cross r---ef name@@, t---itle@@, file n---ame@@, 
ma---nual@@}</code> See <a href="file 
n---ame@.html#c_002d_002d_002dhapter_0040">t--itle@</a> in 
<cite>ma--nual@</cite>.
+<code>@ref{chapter, cross ref name, title, file name, manual}</code> <a 
href="file name.html#chapter">title</a> in <cite>manual</cite>
+<code>@pxref{chapter, cross ref name, title, file name, manual}</code> see <a 
href="file name.html#chapter">title</a> in <cite>manual</cite>
+<code>@inforef{chapter, cross ref name, file name}</code> See <a href="file 
name.html#chapter">(file name)cross ref name</a>
 </p>
 <p><code>@ref{chapter}</code> <a href="#chapter">chapter</a>
 <code>@xref{chapter}</code> See <a href="#chapter">chapter</a>.
@@ -2425,58 +2425,58 @@ f(x) = {1 \over \sigma \sqrt{2\pi}}e<sup>-{1 \over 
2}\left({x-\mu \over \sigma}\
 </p>
 <p><code>@ref{s--ect@comma{}ion, a @comma{} in cross
 ref, a comma@comma{} in title, a comma@comma{} in file, a @comma{} in manual 
name }</code>
-<a data-manual="a comma, in file" href="a comma, in 
file.html#s_002d_002dect_002cion">a comma, in title</a> in <cite>a , in manual 
name</cite>
+<a href="a comma, in file.html#s_002d_002dect_002cion">a comma, in title</a> 
in <cite>a , in manual name</cite>
 </p>
 <p><code>@ref{chapter,cross ref name}</code> <a href="#chapter">cross ref 
name</a>
 <code>@ref{chapter,,title}</code> <a href="#chapter">title</a>
-<code>@ref{chapter,,,file name}</code> <a data-manual="file name" href="file 
name.html#chapter">(file name)chapter</a>
+<code>@ref{chapter,,,file name}</code> <a href="file name.html#chapter">(file 
name)chapter</a>
 <code>@ref{chapter,,,,manual}</code> `chapter' in <cite>manual</cite>
 <code>@ref{chapter,cross ref name,title,}</code> <a href="#chapter">title</a>
-<code>@ref{chapter,cross ref name,,file name}</code> <a data-manual="file 
name" href="file name.html#chapter">(file name)cross ref name</a>
+<code>@ref{chapter,cross ref name,,file name}</code> <a href="file 
name.html#chapter">(file name)cross ref name</a>
 <code>@ref{chapter,cross ref name,,,manual}</code> `cross ref name' in 
<cite>manual</cite>
-<code>@ref{chapter,cross ref name,title,file name}</code> <a data-manual="file 
name" href="file name.html#chapter">(file name)title</a>
+<code>@ref{chapter,cross ref name,title,file name}</code> <a href="file 
name.html#chapter">(file name)title</a>
 <code>@ref{chapter,cross ref name,title,,manual}</code> `title' in 
<cite>manual</cite>
-<code>@ref{chapter,cross ref name,title, file name, manual}</code> <a 
data-manual="file name" href="file name.html#chapter">title</a> in 
<cite>manual</cite>
-<code>@ref{chapter,,title,file name}</code> <a data-manual="file name" 
href="file name.html#chapter">(file name)title</a>
+<code>@ref{chapter,cross ref name,title, file name, manual}</code> <a 
href="file name.html#chapter">title</a> in <cite>manual</cite>
+<code>@ref{chapter,,title,file name}</code> <a href="file 
name.html#chapter">(file name)title</a>
 <code>@ref{chapter,,title,,manual}</code> `title' in <cite>manual</cite>
-<code>@ref{chapter,,title, file name, manual}</code> <a data-manual="file 
name" href="file name.html#chapter">title</a> in <cite>manual</cite>
-<code>@ref{chapter,,,file name,manual}</code> <a data-manual="file name" 
href="file name.html#chapter">chapter</a> in <cite>manual</cite>
-</p>
-
-<p><code>@ref{(pman)anode,cross ref name}</code> <a data-manual="pman" 
href="pman.html#anode">(pman)cross ref name</a>
-<code>@ref{(pman)anode,,title}</code> <a data-manual="pman" 
href="pman.html#anode">(pman)title</a>
-<code>@ref{(pman)anode,,,file name}</code> <a data-manual="file name" 
href="file name.html#anode">(file name)anode</a>
-<code>@ref{(pman)anode,,,,manual}</code> <a data-manual="pman" 
href="pman.html#anode">anode</a> in <cite>manual</cite>
-<code>@ref{(pman)anode,cross ref name,title,}</code> <a data-manual="pman" 
href="pman.html#anode">(pman)title</a>
-<code>@ref{(pman)anode,cross ref name,,file name}</code> <a data-manual="file 
name" href="file name.html#anode">(file name)cross ref name</a>
-<code>@ref{(pman)anode,cross ref name,,,manual}</code> <a data-manual="pman" 
href="pman.html#anode">cross ref name</a> in <cite>manual</cite>
-<code>@ref{(pman)anode,cross ref name,title,file name}</code> <a 
data-manual="file name" href="file name.html#anode">(file name)title</a>
-<code>@ref{(pman)anode,cross ref name,title,,manual}</code> <a 
data-manual="pman" href="pman.html#anode">title</a> in <cite>manual</cite>
-<code>@ref{(pman)anode,cross ref name,title, file name, manual}</code> <a 
data-manual="file name" href="file name.html#anode">title</a> in 
<cite>manual</cite>
-<code>@ref{(pman)anode,,title,file name}</code> <a data-manual="file name" 
href="file name.html#anode">(file name)title</a>
-<code>@ref{(pman)anode,,title,,manual}</code> <a data-manual="pman" 
href="pman.html#anode">title</a> in <cite>manual</cite>
-<code>@ref{(pman)anode,,title, file name, manual}</code> <a data-manual="file 
name" href="file name.html#anode">title</a> in <cite>manual</cite>
-<code>@ref{(pman)anode,,,file name,manual}</code> <a data-manual="file name" 
href="file name.html#anode">anode</a> in <cite>manual</cite>
-</p>
-
-<p><code>@inforef{chapter, cross ref name, file name}</code> See <a 
data-manual="file name" href="file name.html#chapter">(file name)cross ref 
name</a>
+<code>@ref{chapter,,title, file name, manual}</code> <a href="file 
name.html#chapter">title</a> in <cite>manual</cite>
+<code>@ref{chapter,,,file name,manual}</code> <a href="file 
name.html#chapter">chapter</a> in <cite>manual</cite>
+</p>
+
+<p><code>@ref{(pman)anode,cross ref name}</code> <a 
href="pman.html#anode">(pman)cross ref name</a>
+<code>@ref{(pman)anode,,title}</code> <a href="pman.html#anode">(pman)title</a>
+<code>@ref{(pman)anode,,,file name}</code> <a href="file 
name.html#anode">(file name)anode</a>
+<code>@ref{(pman)anode,,,,manual}</code> <a href="pman.html#anode">anode</a> 
in <cite>manual</cite>
+<code>@ref{(pman)anode,cross ref name,title,}</code> <a 
href="pman.html#anode">(pman)title</a>
+<code>@ref{(pman)anode,cross ref name,,file name}</code> <a href="file 
name.html#anode">(file name)cross ref name</a>
+<code>@ref{(pman)anode,cross ref name,,,manual}</code> <a 
href="pman.html#anode">cross ref name</a> in <cite>manual</cite>
+<code>@ref{(pman)anode,cross ref name,title,file name}</code> <a href="file 
name.html#anode">(file name)title</a>
+<code>@ref{(pman)anode,cross ref name,title,,manual}</code> <a 
href="pman.html#anode">title</a> in <cite>manual</cite>
+<code>@ref{(pman)anode,cross ref name,title, file name, manual}</code> <a 
href="file name.html#anode">title</a> in <cite>manual</cite>
+<code>@ref{(pman)anode,,title,file name}</code> <a href="file 
name.html#anode">(file name)title</a>
+<code>@ref{(pman)anode,,title,,manual}</code> <a 
href="pman.html#anode">title</a> in <cite>manual</cite>
+<code>@ref{(pman)anode,,title, file name, manual}</code> <a href="file 
name.html#anode">title</a> in <cite>manual</cite>
+<code>@ref{(pman)anode,,,file name,manual}</code> <a href="file 
name.html#anode">anode</a> in <cite>manual</cite>
+</p>
+
+<p><code>@inforef{chapter, cross ref name, file name}</code> See <a href="file 
name.html#chapter">(file name)cross ref name</a>
 <code>@inforef{chapter}</code> See `chapter'
 <code>@inforef{chapter, cross ref name}</code> See `cross ref name'
-<code>@inforef{chapter,,file name}</code> See <a data-manual="file name" 
href="file name.html#chapter">(file name)chapter</a>
-<code>@inforef{node, cross ref name, file name}</code> See <a 
data-manual="file name" href="file name.html#node">(file name)cross ref name</a>
+<code>@inforef{chapter,,file name}</code> See <a href="file 
name.html#chapter">(file name)chapter</a>
+<code>@inforef{node, cross ref name, file name}</code> See <a href="file 
name.html#node">(file name)cross ref name</a>
 <code>@inforef{node}</code> See `node'
 <code>@inforef{node, cross ref name}</code> See `cross ref name'
-<code>@inforef{node,,file name}</code> See <a data-manual="file name" 
href="file name.html#node">(file name)node</a>
-<code>@inforef{chapter, cross ref name, file name, spurious arg}</code> See <a 
data-manual="file name, spurious arg" href="file name, spurious 
arg.html#chapter">(file name, spurious arg)cross ref name</a>
+<code>@inforef{node,,file name}</code> See <a href="file name.html#node">(file 
name)node</a>
+<code>@inforef{chapter, cross ref name, file name, spurious arg}</code> See <a 
href="file name, spurious arg.html#chapter">(file name, spurious arg)cross ref 
name</a>
 </p>
 <p><code>@inforef{s--ect@comma{}ion, a @comma{} in cross
 ref, a comma@comma{} in file}</code>
-See <a data-manual="a comma, in file" href="a comma, in 
file.html#s_002d_002dect_002cion">(a comma, in file)a , in cross
+See <a href="a comma, in file.html#s_002d_002dect_002cion">(a comma, in file)a 
, in cross
 ref</a>
 </p>
 <p>`<samp><a href="#chapter">chapter</a></samp>'.
 </p>
-<p><a data-manual="info file with uref3 href://http/myhost.com/index3.html 
(uref3)" href="index3.html (uref3).html#ext">title with uref2 <a 
href="href://http/myhost.com/index2.html">uref2</a></a> in <cite>printed manual 
with uref4 <a href="href://http/myhost.com/index4.html">uref4</a></cite>
+<p><a href="index3.html (uref3).html#ext">title with uref2 <a 
href="href://http/myhost.com/index2.html">uref2</a></a> in <cite>printed manual 
with uref4 <a href="href://http/myhost.com/index4.html">uref4</a></cite>
 <a href="#chapter">title with uref2 <a 
href="href://http/myhost.com/index2.html">uref2</a></a>
 </p>
 <dl compact="compact">
@@ -2658,37 +2658,37 @@ html ''
 </p>
 <p><code>@ref{,cross ref name}</code> `cross ref name'
 <code>@ref{,,title}</code> `title'
-<code>@ref{,,,file name}</code> <a data-manual="file name" href="file 
name.html#Top">(file name)</a>
+<code>@ref{,,,file name}</code> <a href="file name.html#Top">(file name)</a>
 <code>@ref{,,,,manual}</code> <cite>manual</cite>
 <code>@ref{node,cross ref name}</code> `cross ref name'
 <code>@ref{node,,title}</code> `title'
-<code>@ref{node,,,file name}</code> <a data-manual="file name" href="file 
name.html#node">(file name)node</a>
+<code>@ref{node,,,file name}</code> <a href="file name.html#node">(file 
name)node</a>
 <code>@ref{node,,,,manual}</code> `node' in <cite>manual</cite>
 <code>@ref{node,cross ref name,title,}</code> `title'
-<code>@ref{node,cross ref name,,file name}</code> <a data-manual="file name" 
href="file name.html#node">(file name)cross ref name</a>
+<code>@ref{node,cross ref name,,file name}</code> <a href="file 
name.html#node">(file name)cross ref name</a>
 <code>@ref{node,cross ref name,,,manual}</code> `cross ref name' in 
<cite>manual</cite>
-<code>@ref{node,cross ref name,title,file name}</code> <a data-manual="file 
name" href="file name.html#node">(file name)title</a>
+<code>@ref{node,cross ref name,title,file name}</code> <a href="file 
name.html#node">(file name)title</a>
 <code>@ref{node,cross ref name,title,,manual}</code> `title' in 
<cite>manual</cite>
-<code>@ref{node,cross ref name,title, file name, manual}</code> <a 
data-manual="file name" href="file name.html#node">title</a> in 
<cite>manual</cite>
-<code>@ref{node,,title,file name}</code> <a data-manual="file name" href="file 
name.html#node">(file name)title</a>
+<code>@ref{node,cross ref name,title, file name, manual}</code> <a href="file 
name.html#node">title</a> in <cite>manual</cite>
+<code>@ref{node,,title,file name}</code> <a href="file name.html#node">(file 
name)title</a>
 <code>@ref{node,,title,,manual}</code> `title' in <cite>manual</cite>
-<code>@ref{chapter,,title, file name, manual}</code> <a data-manual="file 
name" href="file name.html#chapter">title</a> in <cite>manual</cite>
-<code>@ref{node,,title, file name, manual}</code> <a data-manual="file name" 
href="file name.html#node">title</a> in <cite>manual</cite>
-<code>@ref{node,,,file name,manual}</code> <a data-manual="file name" 
href="file name.html#node">node</a> in <cite>manual</cite>
+<code>@ref{chapter,,title, file name, manual}</code> <a href="file 
name.html#chapter">title</a> in <cite>manual</cite>
+<code>@ref{node,,title, file name, manual}</code> <a href="file 
name.html#node">title</a> in <cite>manual</cite>
+<code>@ref{node,,,file name,manual}</code> <a href="file 
name.html#node">node</a> in <cite>manual</cite>
 <code>@ref{,cross ref name,title,}</code> `title'
-<code>@ref{,cross ref name,,file name}</code> <a data-manual="file name" 
href="file name.html#Top">(file name)cross ref name</a>
+<code>@ref{,cross ref name,,file name}</code> <a href="file 
name.html#Top">(file name)cross ref name</a>
 <code>@ref{,cross ref name,,,manual}</code> `cross ref name' in 
<cite>manual</cite>
-<code>@ref{,cross ref name,title,file name}</code> <a data-manual="file name" 
href="file name.html#Top">(file name)title</a>
+<code>@ref{,cross ref name,title,file name}</code> <a href="file 
name.html#Top">(file name)title</a>
 <code>@ref{,cross ref name,title,,manual}</code> `title' in <cite>manual</cite>
-<code>@ref{,cross ref name,title, file name, manual}</code> <a 
data-manual="file name" href="file name.html#Top">title</a> in 
<cite>manual</cite>
-<code>@ref{,,title,file name}</code> <a data-manual="file name" href="file 
name.html#Top">(file name)title</a>
+<code>@ref{,cross ref name,title, file name, manual}</code> <a href="file 
name.html#Top">title</a> in <cite>manual</cite>
+<code>@ref{,,title,file name}</code> <a href="file name.html#Top">(file 
name)title</a>
 <code>@ref{,,title,,manual}</code> `title' in <cite>manual</cite>
-<code>@ref{,,title, file name, manual}</code> <a data-manual="file name" 
href="file name.html#Top">title</a> in <cite>manual</cite>
-<code>@ref{,,,file name,manual}</code> <cite><a data-manual="file name" 
href="file name.html#Top">manual</a></cite>
+<code>@ref{,,title, file name, manual}</code> <a href="file 
name.html#Top">title</a> in <cite>manual</cite>
+<code>@ref{,,,file name,manual}</code> <cite><a href="file 
name.html#Top">manual</a></cite>
 </p>
 <p><code>@inforef{,cross ref name }</code> See `cross ref name'
-<code>@inforef{,,file name}</code> See <a data-manual="file name" href="file 
name.html#Top">(file name)</a>
-<code>@inforef{,cross ref name, file name}</code> See <a data-manual="file 
name" href="file name.html#Top">(file name)cross ref name</a>
+<code>@inforef{,,file name}</code> See <a href="file name.html#Top">(file 
name)</a>
+<code>@inforef{,cross ref name, file name}</code> See <a href="file 
name.html#Top">(file name)cross ref name</a>
 <code>@inforef{}</code> 
 </p>
 
@@ -3421,10 +3421,10 @@ f(x) = {1 \over \sigma \sqrt{2\pi}}e<sup>-{1 \over 
2}\left({x-\mu \over \sigma}\
 </p></dd></dl>
 
 
-<p><code>@xref{c---hapter@@, cross r---ef name@@, t---itle@@, file n---ame@@, 
ma---nual@@}</code> See <a data-manual="file n---ame@" href="file 
n---ame@.html#c_002d_002d_002dhapter_0040">t--itle@</a> in 
<cite>ma--nual@</cite>.
-<code>@ref{chapter, cross ref name, title, file name, manual}</code> <a 
data-manual="file name" href="file name.html#chapter">title</a> in 
<cite>manual</cite>
-<code>@pxref{chapter, cross ref name, title, file name, manual}</code> see <a 
data-manual="file name" href="file name.html#chapter">title</a> in 
<cite>manual</cite>
-<code>@inforef{chapter, cross ref name, file name}</code> See <a 
data-manual="file name" href="file name.html#chapter">(file name)cross ref 
name</a>
+<p><code>@xref{c---hapter@@, cross r---ef name@@, t---itle@@, file n---ame@@, 
ma---nual@@}</code> See <a href="file 
n---ame@.html#c_002d_002d_002dhapter_0040">t--itle@</a> in 
<cite>ma--nual@</cite>.
+<code>@ref{chapter, cross ref name, title, file name, manual}</code> <a 
href="file name.html#chapter">title</a> in <cite>manual</cite>
+<code>@pxref{chapter, cross ref name, title, file name, manual}</code> see <a 
href="file name.html#chapter">title</a> in <cite>manual</cite>
+<code>@inforef{chapter, cross ref name, file name}</code> See <a href="file 
name.html#chapter">(file name)cross ref name</a>
 </p>
 <p><code>@ref{chapter}</code> <a href="#chapter">chapter</a>
 <code>@xref{chapter}</code> See <a href="#chapter">chapter</a>.
@@ -3433,58 +3433,58 @@ f(x) = {1 \over \sigma \sqrt{2\pi}}e<sup>-{1 \over 
2}\left({x-\mu \over \sigma}\
 </p>
 <p><code>@ref{s--ect@comma{}ion, a @comma{} in cross
 ref, a comma@comma{} in title, a comma@comma{} in file, a @comma{} in manual 
name }</code>
-<a data-manual="a comma, in file" href="a comma, in 
file.html#s_002d_002dect_002cion">a comma, in title</a> in <cite>a , in manual 
name</cite>
+<a href="a comma, in file.html#s_002d_002dect_002cion">a comma, in title</a> 
in <cite>a , in manual name</cite>
 </p>
 <p><code>@ref{chapter,cross ref name}</code> <a href="#chapter">cross ref 
name</a>
 <code>@ref{chapter,,title}</code> <a href="#chapter">title</a>
-<code>@ref{chapter,,,file name}</code> <a data-manual="file name" href="file 
name.html#chapter">(file name)chapter</a>
+<code>@ref{chapter,,,file name}</code> <a href="file name.html#chapter">(file 
name)chapter</a>
 <code>@ref{chapter,,,,manual}</code> `chapter' in <cite>manual</cite>
 <code>@ref{chapter,cross ref name,title,}</code> <a href="#chapter">title</a>
-<code>@ref{chapter,cross ref name,,file name}</code> <a data-manual="file 
name" href="file name.html#chapter">(file name)cross ref name</a>
+<code>@ref{chapter,cross ref name,,file name}</code> <a href="file 
name.html#chapter">(file name)cross ref name</a>
 <code>@ref{chapter,cross ref name,,,manual}</code> `cross ref name' in 
<cite>manual</cite>
-<code>@ref{chapter,cross ref name,title,file name}</code> <a data-manual="file 
name" href="file name.html#chapter">(file name)title</a>
+<code>@ref{chapter,cross ref name,title,file name}</code> <a href="file 
name.html#chapter">(file name)title</a>
 <code>@ref{chapter,cross ref name,title,,manual}</code> `title' in 
<cite>manual</cite>
-<code>@ref{chapter,cross ref name,title, file name, manual}</code> <a 
data-manual="file name" href="file name.html#chapter">title</a> in 
<cite>manual</cite>
-<code>@ref{chapter,,title,file name}</code> <a data-manual="file name" 
href="file name.html#chapter">(file name)title</a>
+<code>@ref{chapter,cross ref name,title, file name, manual}</code> <a 
href="file name.html#chapter">title</a> in <cite>manual</cite>
+<code>@ref{chapter,,title,file name}</code> <a href="file 
name.html#chapter">(file name)title</a>
 <code>@ref{chapter,,title,,manual}</code> `title' in <cite>manual</cite>
-<code>@ref{chapter,,title, file name, manual}</code> <a data-manual="file 
name" href="file name.html#chapter">title</a> in <cite>manual</cite>
-<code>@ref{chapter,,,file name,manual}</code> <a data-manual="file name" 
href="file name.html#chapter">chapter</a> in <cite>manual</cite>
-</p>
-
-<p><code>@ref{(pman)anode,cross ref name}</code> <a data-manual="pman" 
href="pman.html#anode">(pman)cross ref name</a>
-<code>@ref{(pman)anode,,title}</code> <a data-manual="pman" 
href="pman.html#anode">(pman)title</a>
-<code>@ref{(pman)anode,,,file name}</code> <a data-manual="file name" 
href="file name.html#anode">(file name)anode</a>
-<code>@ref{(pman)anode,,,,manual}</code> <a data-manual="pman" 
href="pman.html#anode">anode</a> in <cite>manual</cite>
-<code>@ref{(pman)anode,cross ref name,title,}</code> <a data-manual="pman" 
href="pman.html#anode">(pman)title</a>
-<code>@ref{(pman)anode,cross ref name,,file name}</code> <a data-manual="file 
name" href="file name.html#anode">(file name)cross ref name</a>
-<code>@ref{(pman)anode,cross ref name,,,manual}</code> <a data-manual="pman" 
href="pman.html#anode">cross ref name</a> in <cite>manual</cite>
-<code>@ref{(pman)anode,cross ref name,title,file name}</code> <a 
data-manual="file name" href="file name.html#anode">(file name)title</a>
-<code>@ref{(pman)anode,cross ref name,title,,manual}</code> <a 
data-manual="pman" href="pman.html#anode">title</a> in <cite>manual</cite>
-<code>@ref{(pman)anode,cross ref name,title, file name, manual}</code> <a 
data-manual="file name" href="file name.html#anode">title</a> in 
<cite>manual</cite>
-<code>@ref{(pman)anode,,title,file name}</code> <a data-manual="file name" 
href="file name.html#anode">(file name)title</a>
-<code>@ref{(pman)anode,,title,,manual}</code> <a data-manual="pman" 
href="pman.html#anode">title</a> in <cite>manual</cite>
-<code>@ref{(pman)anode,,title, file name, manual}</code> <a data-manual="file 
name" href="file name.html#anode">title</a> in <cite>manual</cite>
-<code>@ref{(pman)anode,,,file name,manual}</code> <a data-manual="file name" 
href="file name.html#anode">anode</a> in <cite>manual</cite>
-</p>
-
-<p><code>@inforef{chapter, cross ref name, file name}</code> See <a 
data-manual="file name" href="file name.html#chapter">(file name)cross ref 
name</a>
+<code>@ref{chapter,,title, file name, manual}</code> <a href="file 
name.html#chapter">title</a> in <cite>manual</cite>
+<code>@ref{chapter,,,file name,manual}</code> <a href="file 
name.html#chapter">chapter</a> in <cite>manual</cite>
+</p>
+
+<p><code>@ref{(pman)anode,cross ref name}</code> <a 
href="pman.html#anode">(pman)cross ref name</a>
+<code>@ref{(pman)anode,,title}</code> <a href="pman.html#anode">(pman)title</a>
+<code>@ref{(pman)anode,,,file name}</code> <a href="file 
name.html#anode">(file name)anode</a>
+<code>@ref{(pman)anode,,,,manual}</code> <a href="pman.html#anode">anode</a> 
in <cite>manual</cite>
+<code>@ref{(pman)anode,cross ref name,title,}</code> <a 
href="pman.html#anode">(pman)title</a>
+<code>@ref{(pman)anode,cross ref name,,file name}</code> <a href="file 
name.html#anode">(file name)cross ref name</a>
+<code>@ref{(pman)anode,cross ref name,,,manual}</code> <a 
href="pman.html#anode">cross ref name</a> in <cite>manual</cite>
+<code>@ref{(pman)anode,cross ref name,title,file name}</code> <a href="file 
name.html#anode">(file name)title</a>
+<code>@ref{(pman)anode,cross ref name,title,,manual}</code> <a 
href="pman.html#anode">title</a> in <cite>manual</cite>
+<code>@ref{(pman)anode,cross ref name,title, file name, manual}</code> <a 
href="file name.html#anode">title</a> in <cite>manual</cite>
+<code>@ref{(pman)anode,,title,file name}</code> <a href="file 
name.html#anode">(file name)title</a>
+<code>@ref{(pman)anode,,title,,manual}</code> <a 
href="pman.html#anode">title</a> in <cite>manual</cite>
+<code>@ref{(pman)anode,,title, file name, manual}</code> <a href="file 
name.html#anode">title</a> in <cite>manual</cite>
+<code>@ref{(pman)anode,,,file name,manual}</code> <a href="file 
name.html#anode">anode</a> in <cite>manual</cite>
+</p>
+
+<p><code>@inforef{chapter, cross ref name, file name}</code> See <a href="file 
name.html#chapter">(file name)cross ref name</a>
 <code>@inforef{chapter}</code> See `chapter'
 <code>@inforef{chapter, cross ref name}</code> See `cross ref name'
-<code>@inforef{chapter,,file name}</code> See <a data-manual="file name" 
href="file name.html#chapter">(file name)chapter</a>
-<code>@inforef{node, cross ref name, file name}</code> See <a 
data-manual="file name" href="file name.html#node">(file name)cross ref name</a>
+<code>@inforef{chapter,,file name}</code> See <a href="file 
name.html#chapter">(file name)chapter</a>
+<code>@inforef{node, cross ref name, file name}</code> See <a href="file 
name.html#node">(file name)cross ref name</a>
 <code>@inforef{node}</code> See `node'
 <code>@inforef{node, cross ref name}</code> See `cross ref name'
-<code>@inforef{node,,file name}</code> See <a data-manual="file name" 
href="file name.html#node">(file name)node</a>
-<code>@inforef{chapter, cross ref name, file name, spurious arg}</code> See <a 
data-manual="file name, spurious arg" href="file name, spurious 
arg.html#chapter">(file name, spurious arg)cross ref name</a>
+<code>@inforef{node,,file name}</code> See <a href="file name.html#node">(file 
name)node</a>
+<code>@inforef{chapter, cross ref name, file name, spurious arg}</code> See <a 
href="file name, spurious arg.html#chapter">(file name, spurious arg)cross ref 
name</a>
 </p>
 <p><code>@inforef{s--ect@comma{}ion, a @comma{} in cross
 ref, a comma@comma{} in file}</code>
-See <a data-manual="a comma, in file" href="a comma, in 
file.html#s_002d_002dect_002cion">(a comma, in file)a , in cross
+See <a href="a comma, in file.html#s_002d_002dect_002cion">(a comma, in file)a 
, in cross
 ref</a>
 </p>
 <p>`<samp><a href="#chapter">chapter</a></samp>'.
 </p>
-<p><a data-manual="info file with uref3 href://http/myhost.com/index3.html 
(uref3)" href="index3.html (uref3).html#ext">title with uref2 <a 
href="href://http/myhost.com/index2.html">uref2</a></a> in <cite>printed manual 
with uref4 <a href="href://http/myhost.com/index4.html">uref4</a></cite>
+<p><a href="index3.html (uref3).html#ext">title with uref2 <a 
href="href://http/myhost.com/index2.html">uref2</a></a> in <cite>printed manual 
with uref4 <a href="href://http/myhost.com/index4.html">uref4</a></cite>
 <a href="#chapter">title with uref2 <a 
href="href://http/myhost.com/index2.html">uref2</a></a>
 </p>
 <dl compact="compact">
@@ -3666,37 +3666,37 @@ html ''
 </p>
 <p><code>@ref{,cross ref name}</code> `cross ref name'
 <code>@ref{,,title}</code> `title'
-<code>@ref{,,,file name}</code> <a data-manual="file name" href="file 
name.html#Top">(file name)</a>
+<code>@ref{,,,file name}</code> <a href="file name.html#Top">(file name)</a>
 <code>@ref{,,,,manual}</code> <cite>manual</cite>
 <code>@ref{node,cross ref name}</code> `cross ref name'
 <code>@ref{node,,title}</code> `title'
-<code>@ref{node,,,file name}</code> <a data-manual="file name" href="file 
name.html#node">(file name)node</a>
+<code>@ref{node,,,file name}</code> <a href="file name.html#node">(file 
name)node</a>
 <code>@ref{node,,,,manual}</code> `node' in <cite>manual</cite>
 <code>@ref{node,cross ref name,title,}</code> `title'
-<code>@ref{node,cross ref name,,file name}</code> <a data-manual="file name" 
href="file name.html#node">(file name)cross ref name</a>
+<code>@ref{node,cross ref name,,file name}</code> <a href="file 
name.html#node">(file name)cross ref name</a>
 <code>@ref{node,cross ref name,,,manual}</code> `cross ref name' in 
<cite>manual</cite>
-<code>@ref{node,cross ref name,title,file name}</code> <a data-manual="file 
name" href="file name.html#node">(file name)title</a>
+<code>@ref{node,cross ref name,title,file name}</code> <a href="file 
name.html#node">(file name)title</a>
 <code>@ref{node,cross ref name,title,,manual}</code> `title' in 
<cite>manual</cite>
-<code>@ref{node,cross ref name,title, file name, manual}</code> <a 
data-manual="file name" href="file name.html#node">title</a> in 
<cite>manual</cite>
-<code>@ref{node,,title,file name}</code> <a data-manual="file name" href="file 
name.html#node">(file name)title</a>
+<code>@ref{node,cross ref name,title, file name, manual}</code> <a href="file 
name.html#node">title</a> in <cite>manual</cite>
+<code>@ref{node,,title,file name}</code> <a href="file name.html#node">(file 
name)title</a>
 <code>@ref{node,,title,,manual}</code> `title' in <cite>manual</cite>
-<code>@ref{chapter,,title, file name, manual}</code> <a data-manual="file 
name" href="file name.html#chapter">title</a> in <cite>manual</cite>
-<code>@ref{node,,title, file name, manual}</code> <a data-manual="file name" 
href="file name.html#node">title</a> in <cite>manual</cite>
-<code>@ref{node,,,file name,manual}</code> <a data-manual="file name" 
href="file name.html#node">node</a> in <cite>manual</cite>
+<code>@ref{chapter,,title, file name, manual}</code> <a href="file 
name.html#chapter">title</a> in <cite>manual</cite>
+<code>@ref{node,,title, file name, manual}</code> <a href="file 
name.html#node">title</a> in <cite>manual</cite>
+<code>@ref{node,,,file name,manual}</code> <a href="file 
name.html#node">node</a> in <cite>manual</cite>
 <code>@ref{,cross ref name,title,}</code> `title'
-<code>@ref{,cross ref name,,file name}</code> <a data-manual="file name" 
href="file name.html#Top">(file name)cross ref name</a>
+<code>@ref{,cross ref name,,file name}</code> <a href="file 
name.html#Top">(file name)cross ref name</a>
 <code>@ref{,cross ref name,,,manual}</code> `cross ref name' in 
<cite>manual</cite>
-<code>@ref{,cross ref name,title,file name}</code> <a data-manual="file name" 
href="file name.html#Top">(file name)title</a>
+<code>@ref{,cross ref name,title,file name}</code> <a href="file 
name.html#Top">(file name)title</a>
 <code>@ref{,cross ref name,title,,manual}</code> `title' in <cite>manual</cite>
-<code>@ref{,cross ref name,title, file name, manual}</code> <a 
data-manual="file name" href="file name.html#Top">title</a> in 
<cite>manual</cite>
-<code>@ref{,,title,file name}</code> <a data-manual="file name" href="file 
name.html#Top">(file name)title</a>
+<code>@ref{,cross ref name,title, file name, manual}</code> <a href="file 
name.html#Top">title</a> in <cite>manual</cite>
+<code>@ref{,,title,file name}</code> <a href="file name.html#Top">(file 
name)title</a>
 <code>@ref{,,title,,manual}</code> `title' in <cite>manual</cite>
-<code>@ref{,,title, file name, manual}</code> <a data-manual="file name" 
href="file name.html#Top">title</a> in <cite>manual</cite>
-<code>@ref{,,,file name,manual}</code> <cite><a data-manual="file name" 
href="file name.html#Top">manual</a></cite>
+<code>@ref{,,title, file name, manual}</code> <a href="file 
name.html#Top">title</a> in <cite>manual</cite>
+<code>@ref{,,,file name,manual}</code> <cite><a href="file 
name.html#Top">manual</a></cite>
 </p>
 <p><code>@inforef{,cross ref name }</code> See `cross ref name'
-<code>@inforef{,,file name}</code> See <a data-manual="file name" href="file 
name.html#Top">(file name)</a>
-<code>@inforef{,cross ref name, file name}</code> See <a data-manual="file 
name" href="file name.html#Top">(file name)cross ref name</a>
+<code>@inforef{,,file name}</code> See <a href="file name.html#Top">(file 
name)</a>
+<code>@inforef{,cross ref name, file name}</code> See <a href="file 
name.html#Top">(file name)cross ref name</a>
 <code>@inforef{}</code> 
 </p>
 
@@ -4372,10 +4372,10 @@ f(x) = {1 \over \sigma \sqrt{2\pi}}e<sup>-{1 \over 
2}\left({x-\mu \over \sigma}\
 </p></dd></dl>
 
 
-<p><code>@xref{c---hapter@@, cross r---ef name@@, t---itle@@, file n---ame@@, 
ma---nual@@}</code> See <a data-manual="file n---ame@" href="file 
n---ame@.html#c_002d_002d_002dhapter_0040">t--itle@</a> in 
<cite>ma--nual@</cite>.
-<code>@ref{chapter, cross ref name, title, file name, manual}</code> <a 
data-manual="file name" href="file name.html#chapter">title</a> in 
<cite>manual</cite>
-<code>@pxref{chapter, cross ref name, title, file name, manual}</code> see <a 
data-manual="file name" href="file name.html#chapter">title</a> in 
<cite>manual</cite>
-<code>@inforef{chapter, cross ref name, file name}</code> See <a 
data-manual="file name" href="file name.html#chapter">(file name)cross ref 
name</a>
+<p><code>@xref{c---hapter@@, cross r---ef name@@, t---itle@@, file n---ame@@, 
ma---nual@@}</code> See <a href="file 
n---ame@.html#c_002d_002d_002dhapter_0040">t--itle@</a> in 
<cite>ma--nual@</cite>.
+<code>@ref{chapter, cross ref name, title, file name, manual}</code> <a 
href="file name.html#chapter">title</a> in <cite>manual</cite>
+<code>@pxref{chapter, cross ref name, title, file name, manual}</code> see <a 
href="file name.html#chapter">title</a> in <cite>manual</cite>
+<code>@inforef{chapter, cross ref name, file name}</code> See <a href="file 
name.html#chapter">(file name)cross ref name</a>
 </p>
 <p><code>@ref{chapter}</code> <a href="#chapter">chapter</a>
 <code>@xref{chapter}</code> See <a href="#chapter">chapter</a>.
@@ -4384,58 +4384,58 @@ f(x) = {1 \over \sigma \sqrt{2\pi}}e<sup>-{1 \over 
2}\left({x-\mu \over \sigma}\
 </p>
 <p><code>@ref{s--ect@comma{}ion, a @comma{} in cross
 ref, a comma@comma{} in title, a comma@comma{} in file, a @comma{} in manual 
name }</code>
-<a data-manual="a comma, in file" href="a comma, in 
file.html#s_002d_002dect_002cion">a comma, in title</a> in <cite>a , in manual 
name</cite>
+<a href="a comma, in file.html#s_002d_002dect_002cion">a comma, in title</a> 
in <cite>a , in manual name</cite>
 </p>
 <p><code>@ref{chapter,cross ref name}</code> <a href="#chapter">cross ref 
name</a>
 <code>@ref{chapter,,title}</code> <a href="#chapter">title</a>
-<code>@ref{chapter,,,file name}</code> <a data-manual="file name" href="file 
name.html#chapter">(file name)chapter</a>
+<code>@ref{chapter,,,file name}</code> <a href="file name.html#chapter">(file 
name)chapter</a>
 <code>@ref{chapter,,,,manual}</code> `chapter' in <cite>manual</cite>
 <code>@ref{chapter,cross ref name,title,}</code> <a href="#chapter">title</a>
-<code>@ref{chapter,cross ref name,,file name}</code> <a data-manual="file 
name" href="file name.html#chapter">(file name)cross ref name</a>
+<code>@ref{chapter,cross ref name,,file name}</code> <a href="file 
name.html#chapter">(file name)cross ref name</a>
 <code>@ref{chapter,cross ref name,,,manual}</code> `cross ref name' in 
<cite>manual</cite>
-<code>@ref{chapter,cross ref name,title,file name}</code> <a data-manual="file 
name" href="file name.html#chapter">(file name)title</a>
+<code>@ref{chapter,cross ref name,title,file name}</code> <a href="file 
name.html#chapter">(file name)title</a>
 <code>@ref{chapter,cross ref name,title,,manual}</code> `title' in 
<cite>manual</cite>
-<code>@ref{chapter,cross ref name,title, file name, manual}</code> <a 
data-manual="file name" href="file name.html#chapter">title</a> in 
<cite>manual</cite>
-<code>@ref{chapter,,title,file name}</code> <a data-manual="file name" 
href="file name.html#chapter">(file name)title</a>
+<code>@ref{chapter,cross ref name,title, file name, manual}</code> <a 
href="file name.html#chapter">title</a> in <cite>manual</cite>
+<code>@ref{chapter,,title,file name}</code> <a href="file 
name.html#chapter">(file name)title</a>
 <code>@ref{chapter,,title,,manual}</code> `title' in <cite>manual</cite>
-<code>@ref{chapter,,title, file name, manual}</code> <a data-manual="file 
name" href="file name.html#chapter">title</a> in <cite>manual</cite>
-<code>@ref{chapter,,,file name,manual}</code> <a data-manual="file name" 
href="file name.html#chapter">chapter</a> in <cite>manual</cite>
-</p>
-
-<p><code>@ref{(pman)anode,cross ref name}</code> <a data-manual="pman" 
href="pman.html#anode">(pman)cross ref name</a>
-<code>@ref{(pman)anode,,title}</code> <a data-manual="pman" 
href="pman.html#anode">(pman)title</a>
-<code>@ref{(pman)anode,,,file name}</code> <a data-manual="file name" 
href="file name.html#anode">(file name)anode</a>
-<code>@ref{(pman)anode,,,,manual}</code> <a data-manual="pman" 
href="pman.html#anode">anode</a> in <cite>manual</cite>
-<code>@ref{(pman)anode,cross ref name,title,}</code> <a data-manual="pman" 
href="pman.html#anode">(pman)title</a>
-<code>@ref{(pman)anode,cross ref name,,file name}</code> <a data-manual="file 
name" href="file name.html#anode">(file name)cross ref name</a>
-<code>@ref{(pman)anode,cross ref name,,,manual}</code> <a data-manual="pman" 
href="pman.html#anode">cross ref name</a> in <cite>manual</cite>
-<code>@ref{(pman)anode,cross ref name,title,file name}</code> <a 
data-manual="file name" href="file name.html#anode">(file name)title</a>
-<code>@ref{(pman)anode,cross ref name,title,,manual}</code> <a 
data-manual="pman" href="pman.html#anode">title</a> in <cite>manual</cite>
-<code>@ref{(pman)anode,cross ref name,title, file name, manual}</code> <a 
data-manual="file name" href="file name.html#anode">title</a> in 
<cite>manual</cite>
-<code>@ref{(pman)anode,,title,file name}</code> <a data-manual="file name" 
href="file name.html#anode">(file name)title</a>
-<code>@ref{(pman)anode,,title,,manual}</code> <a data-manual="pman" 
href="pman.html#anode">title</a> in <cite>manual</cite>
-<code>@ref{(pman)anode,,title, file name, manual}</code> <a data-manual="file 
name" href="file name.html#anode">title</a> in <cite>manual</cite>
-<code>@ref{(pman)anode,,,file name,manual}</code> <a data-manual="file name" 
href="file name.html#anode">anode</a> in <cite>manual</cite>
-</p>
-
-<p><code>@inforef{chapter, cross ref name, file name}</code> See <a 
data-manual="file name" href="file name.html#chapter">(file name)cross ref 
name</a>
+<code>@ref{chapter,,title, file name, manual}</code> <a href="file 
name.html#chapter">title</a> in <cite>manual</cite>
+<code>@ref{chapter,,,file name,manual}</code> <a href="file 
name.html#chapter">chapter</a> in <cite>manual</cite>
+</p>
+
+<p><code>@ref{(pman)anode,cross ref name}</code> <a 
href="pman.html#anode">(pman)cross ref name</a>
+<code>@ref{(pman)anode,,title}</code> <a href="pman.html#anode">(pman)title</a>
+<code>@ref{(pman)anode,,,file name}</code> <a href="file 
name.html#anode">(file name)anode</a>
+<code>@ref{(pman)anode,,,,manual}</code> <a href="pman.html#anode">anode</a> 
in <cite>manual</cite>
+<code>@ref{(pman)anode,cross ref name,title,}</code> <a 
href="pman.html#anode">(pman)title</a>
+<code>@ref{(pman)anode,cross ref name,,file name}</code> <a href="file 
name.html#anode">(file name)cross ref name</a>
+<code>@ref{(pman)anode,cross ref name,,,manual}</code> <a 
href="pman.html#anode">cross ref name</a> in <cite>manual</cite>
+<code>@ref{(pman)anode,cross ref name,title,file name}</code> <a href="file 
name.html#anode">(file name)title</a>
+<code>@ref{(pman)anode,cross ref name,title,,manual}</code> <a 
href="pman.html#anode">title</a> in <cite>manual</cite>
+<code>@ref{(pman)anode,cross ref name,title, file name, manual}</code> <a 
href="file name.html#anode">title</a> in <cite>manual</cite>
+<code>@ref{(pman)anode,,title,file name}</code> <a href="file 
name.html#anode">(file name)title</a>
+<code>@ref{(pman)anode,,title,,manual}</code> <a 
href="pman.html#anode">title</a> in <cite>manual</cite>
+<code>@ref{(pman)anode,,title, file name, manual}</code> <a href="file 
name.html#anode">title</a> in <cite>manual</cite>
+<code>@ref{(pman)anode,,,file name,manual}</code> <a href="file 
name.html#anode">anode</a> in <cite>manual</cite>
+</p>
+
+<p><code>@inforef{chapter, cross ref name, file name}</code> See <a href="file 
name.html#chapter">(file name)cross ref name</a>
 <code>@inforef{chapter}</code> See `chapter'
 <code>@inforef{chapter, cross ref name}</code> See `cross ref name'
-<code>@inforef{chapter,,file name}</code> See <a data-manual="file name" 
href="file name.html#chapter">(file name)chapter</a>
-<code>@inforef{node, cross ref name, file name}</code> See <a 
data-manual="file name" href="file name.html#node">(file name)cross ref name</a>
+<code>@inforef{chapter,,file name}</code> See <a href="file 
name.html#chapter">(file name)chapter</a>
+<code>@inforef{node, cross ref name, file name}</code> See <a href="file 
name.html#node">(file name)cross ref name</a>
 <code>@inforef{node}</code> See `node'
 <code>@inforef{node, cross ref name}</code> See `cross ref name'
-<code>@inforef{node,,file name}</code> See <a data-manual="file name" 
href="file name.html#node">(file name)node</a>
-<code>@inforef{chapter, cross ref name, file name, spurious arg}</code> See <a 
data-manual="file name, spurious arg" href="file name, spurious 
arg.html#chapter">(file name, spurious arg)cross ref name</a>
+<code>@inforef{node,,file name}</code> See <a href="file name.html#node">(file 
name)node</a>
+<code>@inforef{chapter, cross ref name, file name, spurious arg}</code> See <a 
href="file name, spurious arg.html#chapter">(file name, spurious arg)cross ref 
name</a>
 </p>
 <p><code>@inforef{s--ect@comma{}ion, a @comma{} in cross
 ref, a comma@comma{} in file}</code>
-See <a data-manual="a comma, in file" href="a comma, in 
file.html#s_002d_002dect_002cion">(a comma, in file)a , in cross
+See <a href="a comma, in file.html#s_002d_002dect_002cion">(a comma, in file)a 
, in cross
 ref</a>
 </p>
 <p>`<samp><a href="#chapter">chapter</a></samp>'.
 </p>
-<p><a data-manual="info file with uref3 href://http/myhost.com/index3.html 
(uref3)" href="index3.html (uref3).html#ext">title with uref2 <a 
href="href://http/myhost.com/index2.html">uref2</a></a> in <cite>printed manual 
with uref4 <a href="href://http/myhost.com/index4.html">uref4</a></cite>
+<p><a href="index3.html (uref3).html#ext">title with uref2 <a 
href="href://http/myhost.com/index2.html">uref2</a></a> in <cite>printed manual 
with uref4 <a href="href://http/myhost.com/index4.html">uref4</a></cite>
 <a href="#chapter">title with uref2 <a 
href="href://http/myhost.com/index2.html">uref2</a></a>
 </p>
 <dl compact="compact">
@@ -4617,37 +4617,37 @@ html ''
 </p>
 <p><code>@ref{,cross ref name}</code> `cross ref name'
 <code>@ref{,,title}</code> `title'
-<code>@ref{,,,file name}</code> <a data-manual="file name" href="file 
name.html#Top">(file name)</a>
+<code>@ref{,,,file name}</code> <a href="file name.html#Top">(file name)</a>
 <code>@ref{,,,,manual}</code> <cite>manual</cite>
 <code>@ref{node,cross ref name}</code> `cross ref name'
 <code>@ref{node,,title}</code> `title'
-<code>@ref{node,,,file name}</code> <a data-manual="file name" href="file 
name.html#node">(file name)node</a>
+<code>@ref{node,,,file name}</code> <a href="file name.html#node">(file 
name)node</a>
 <code>@ref{node,,,,manual}</code> `node' in <cite>manual</cite>
 <code>@ref{node,cross ref name,title,}</code> `title'
-<code>@ref{node,cross ref name,,file name}</code> <a data-manual="file name" 
href="file name.html#node">(file name)cross ref name</a>
+<code>@ref{node,cross ref name,,file name}</code> <a href="file 
name.html#node">(file name)cross ref name</a>
 <code>@ref{node,cross ref name,,,manual}</code> `cross ref name' in 
<cite>manual</cite>
-<code>@ref{node,cross ref name,title,file name}</code> <a data-manual="file 
name" href="file name.html#node">(file name)title</a>
+<code>@ref{node,cross ref name,title,file name}</code> <a href="file 
name.html#node">(file name)title</a>
 <code>@ref{node,cross ref name,title,,manual}</code> `title' in 
<cite>manual</cite>
-<code>@ref{node,cross ref name,title, file name, manual}</code> <a 
data-manual="file name" href="file name.html#node">title</a> in 
<cite>manual</cite>
-<code>@ref{node,,title,file name}</code> <a data-manual="file name" href="file 
name.html#node">(file name)title</a>
+<code>@ref{node,cross ref name,title, file name, manual}</code> <a href="file 
name.html#node">title</a> in <cite>manual</cite>
+<code>@ref{node,,title,file name}</code> <a href="file name.html#node">(file 
name)title</a>
 <code>@ref{node,,title,,manual}</code> `title' in <cite>manual</cite>
-<code>@ref{chapter,,title, file name, manual}</code> <a data-manual="file 
name" href="file name.html#chapter">title</a> in <cite>manual</cite>
-<code>@ref{node,,title, file name, manual}</code> <a data-manual="file name" 
href="file name.html#node">title</a> in <cite>manual</cite>
-<code>@ref{node,,,file name,manual}</code> <a data-manual="file name" 
href="file name.html#node">node</a> in <cite>manual</cite>
+<code>@ref{chapter,,title, file name, manual}</code> <a href="file 
name.html#chapter">title</a> in <cite>manual</cite>
+<code>@ref{node,,title, file name, manual}</code> <a href="file 
name.html#node">title</a> in <cite>manual</cite>
+<code>@ref{node,,,file name,manual}</code> <a href="file 
name.html#node">node</a> in <cite>manual</cite>
 <code>@ref{,cross ref name,title,}</code> `title'
-<code>@ref{,cross ref name,,file name}</code> <a data-manual="file name" 
href="file name.html#Top">(file name)cross ref name</a>
+<code>@ref{,cross ref name,,file name}</code> <a href="file 
name.html#Top">(file name)cross ref name</a>
 <code>@ref{,cross ref name,,,manual}</code> `cross ref name' in 
<cite>manual</cite>
-<code>@ref{,cross ref name,title,file name}</code> <a data-manual="file name" 
href="file name.html#Top">(file name)title</a>
+<code>@ref{,cross ref name,title,file name}</code> <a href="file 
name.html#Top">(file name)title</a>
 <code>@ref{,cross ref name,title,,manual}</code> `title' in <cite>manual</cite>
-<code>@ref{,cross ref name,title, file name, manual}</code> <a 
data-manual="file name" href="file name.html#Top">title</a> in 
<cite>manual</cite>
-<code>@ref{,,title,file name}</code> <a data-manual="file name" href="file 
name.html#Top">(file name)title</a>
+<code>@ref{,cross ref name,title, file name, manual}</code> <a href="file 
name.html#Top">title</a> in <cite>manual</cite>
+<code>@ref{,,title,file name}</code> <a href="file name.html#Top">(file 
name)title</a>
 <code>@ref{,,title,,manual}</code> `title' in <cite>manual</cite>
-<code>@ref{,,title, file name, manual}</code> <a data-manual="file name" 
href="file name.html#Top">title</a> in <cite>manual</cite>
-<code>@ref{,,,file name,manual}</code> <cite><a data-manual="file name" 
href="file name.html#Top">manual</a></cite>
+<code>@ref{,,title, file name, manual}</code> <a href="file 
name.html#Top">title</a> in <cite>manual</cite>
+<code>@ref{,,,file name,manual}</code> <cite><a href="file 
name.html#Top">manual</a></cite>
 </p>
 <p><code>@inforef{,cross ref name }</code> See `cross ref name'
-<code>@inforef{,,file name}</code> See <a data-manual="file name" href="file 
name.html#Top">(file name)</a>
-<code>@inforef{,cross ref name, file name}</code> See <a data-manual="file 
name" href="file name.html#Top">(file name)cross ref name</a>
+<code>@inforef{,,file name}</code> See <a href="file name.html#Top">(file 
name)</a>
+<code>@inforef{,cross ref name, file name}</code> See <a href="file 
name.html#Top">(file name)cross ref name</a>
 <code>@inforef{}</code> 
 </p>
 
@@ -5441,10 +5441,10 @@ f(x) = {1 \over \sigma \sqrt{2\pi}}e<sup>-{1 \over 
2}\left({x-\mu \over \sigma}\
 <pre>
 
 
-<code>@xref{c---hapter@@, cross r---ef name@@, t---itle@@, file n---ame@@, 
ma---nual@@}</code> See <a data-manual="file n---ame@" href="file 
n---ame@.html#c_002d_002d_002dhapter_0040">t---itle@</a> in 
<cite>ma---nual@</cite>.
-<code>@ref{chapter, cross ref name, title, file name, manual}</code> <a 
data-manual="file name" href="file name.html#chapter">title</a> in 
<cite>manual</cite>
-<code>@pxref{chapter, cross ref name, title, file name, manual}</code> see <a 
data-manual="file name" href="file name.html#chapter">title</a> in 
<cite>manual</cite>
-<code>@inforef{chapter, cross ref name, file name}</code> See <a 
data-manual="file name" href="file name.html#chapter">(file name)cross ref 
name</a>
+<code>@xref{c---hapter@@, cross r---ef name@@, t---itle@@, file n---ame@@, 
ma---nual@@}</code> See <a href="file 
n---ame@.html#c_002d_002d_002dhapter_0040">t---itle@</a> in 
<cite>ma---nual@</cite>.
+<code>@ref{chapter, cross ref name, title, file name, manual}</code> <a 
href="file name.html#chapter">title</a> in <cite>manual</cite>
+<code>@pxref{chapter, cross ref name, title, file name, manual}</code> see <a 
href="file name.html#chapter">title</a> in <cite>manual</cite>
+<code>@inforef{chapter, cross ref name, file name}</code> See <a href="file 
name.html#chapter">(file name)cross ref name</a>
 
 <code>@ref{chapter}</code> <a href="#chapter">chapter</a>
 <code>@xref{chapter}</code> See <a href="#chapter">chapter</a>.
@@ -5453,58 +5453,58 @@ f(x) = {1 \over \sigma \sqrt{2\pi}}e<sup>-{1 \over 
2}\left({x-\mu \over \sigma}\
 
 <code>@ref{s--ect@comma{}ion, a @comma{} in cross
 ref, a comma@comma{} in title, a comma@comma{} in file, a @comma{} in manual 
name }</code>
-<a data-manual="a comma, in file" href="a comma, in 
file.html#s_002d_002dect_002cion">a comma, in title</a> in <cite>a , in manual 
name</cite>
+<a href="a comma, in file.html#s_002d_002dect_002cion">a comma, in title</a> 
in <cite>a , in manual name</cite>
 
 <code>@ref{chapter,cross ref name}</code> <a href="#chapter">cross ref name</a>
 <code>@ref{chapter,,title}</code> <a href="#chapter">title</a>
-<code>@ref{chapter,,,file name}</code> <a data-manual="file name" href="file 
name.html#chapter">(file name)chapter</a>
+<code>@ref{chapter,,,file name}</code> <a href="file name.html#chapter">(file 
name)chapter</a>
 <code>@ref{chapter,,,,manual}</code> `chapter' in <cite>manual</cite>
 <code>@ref{chapter,cross ref name,title,}</code> <a href="#chapter">title</a>
-<code>@ref{chapter,cross ref name,,file name}</code> <a data-manual="file 
name" href="file name.html#chapter">(file name)cross ref name</a>
+<code>@ref{chapter,cross ref name,,file name}</code> <a href="file 
name.html#chapter">(file name)cross ref name</a>
 <code>@ref{chapter,cross ref name,,,manual}</code> `cross ref name' in 
<cite>manual</cite>
-<code>@ref{chapter,cross ref name,title,file name}</code> <a data-manual="file 
name" href="file name.html#chapter">(file name)title</a>
+<code>@ref{chapter,cross ref name,title,file name}</code> <a href="file 
name.html#chapter">(file name)title</a>
 <code>@ref{chapter,cross ref name,title,,manual}</code> `title' in 
<cite>manual</cite>
-<code>@ref{chapter,cross ref name,title, file name, manual}</code> <a 
data-manual="file name" href="file name.html#chapter">title</a> in 
<cite>manual</cite>
-<code>@ref{chapter,,title,file name}</code> <a data-manual="file name" 
href="file name.html#chapter">(file name)title</a>
+<code>@ref{chapter,cross ref name,title, file name, manual}</code> <a 
href="file name.html#chapter">title</a> in <cite>manual</cite>
+<code>@ref{chapter,,title,file name}</code> <a href="file 
name.html#chapter">(file name)title</a>
 <code>@ref{chapter,,title,,manual}</code> `title' in <cite>manual</cite>
-<code>@ref{chapter,,title, file name, manual}</code> <a data-manual="file 
name" href="file name.html#chapter">title</a> in <cite>manual</cite>
-<code>@ref{chapter,,,file name,manual}</code> <a data-manual="file name" 
href="file name.html#chapter">chapter</a> in <cite>manual</cite>
-
-
-<code>@ref{(pman)anode,cross ref name}</code> <a data-manual="pman" 
href="pman.html#anode">(pman)cross ref name</a>
-<code>@ref{(pman)anode,,title}</code> <a data-manual="pman" 
href="pman.html#anode">(pman)title</a>
-<code>@ref{(pman)anode,,,file name}</code> <a data-manual="file name" 
href="file name.html#anode">(file name)anode</a>
-<code>@ref{(pman)anode,,,,manual}</code> <a data-manual="pman" 
href="pman.html#anode">anode</a> in <cite>manual</cite>
-<code>@ref{(pman)anode,cross ref name,title,}</code> <a data-manual="pman" 
href="pman.html#anode">(pman)title</a>
-<code>@ref{(pman)anode,cross ref name,,file name}</code> <a data-manual="file 
name" href="file name.html#anode">(file name)cross ref name</a>
-<code>@ref{(pman)anode,cross ref name,,,manual}</code> <a data-manual="pman" 
href="pman.html#anode">cross ref name</a> in <cite>manual</cite>
-<code>@ref{(pman)anode,cross ref name,title,file name}</code> <a 
data-manual="file name" href="file name.html#anode">(file name)title</a>
-<code>@ref{(pman)anode,cross ref name,title,,manual}</code> <a 
data-manual="pman" href="pman.html#anode">title</a> in <cite>manual</cite>
-<code>@ref{(pman)anode,cross ref name,title, file name, manual}</code> <a 
data-manual="file name" href="file name.html#anode">title</a> in 
<cite>manual</cite>
-<code>@ref{(pman)anode,,title,file name}</code> <a data-manual="file name" 
href="file name.html#anode">(file name)title</a>
-<code>@ref{(pman)anode,,title,,manual}</code> <a data-manual="pman" 
href="pman.html#anode">title</a> in <cite>manual</cite>
-<code>@ref{(pman)anode,,title, file name, manual}</code> <a data-manual="file 
name" href="file name.html#anode">title</a> in <cite>manual</cite>
-<code>@ref{(pman)anode,,,file name,manual}</code> <a data-manual="file name" 
href="file name.html#anode">anode</a> in <cite>manual</cite>
-
-
-<code>@inforef{chapter, cross ref name, file name}</code> See <a 
data-manual="file name" href="file name.html#chapter">(file name)cross ref 
name</a>
+<code>@ref{chapter,,title, file name, manual}</code> <a href="file 
name.html#chapter">title</a> in <cite>manual</cite>
+<code>@ref{chapter,,,file name,manual}</code> <a href="file 
name.html#chapter">chapter</a> in <cite>manual</cite>
+
+
+<code>@ref{(pman)anode,cross ref name}</code> <a 
href="pman.html#anode">(pman)cross ref name</a>
+<code>@ref{(pman)anode,,title}</code> <a href="pman.html#anode">(pman)title</a>
+<code>@ref{(pman)anode,,,file name}</code> <a href="file 
name.html#anode">(file name)anode</a>
+<code>@ref{(pman)anode,,,,manual}</code> <a href="pman.html#anode">anode</a> 
in <cite>manual</cite>
+<code>@ref{(pman)anode,cross ref name,title,}</code> <a 
href="pman.html#anode">(pman)title</a>
+<code>@ref{(pman)anode,cross ref name,,file name}</code> <a href="file 
name.html#anode">(file name)cross ref name</a>
+<code>@ref{(pman)anode,cross ref name,,,manual}</code> <a 
href="pman.html#anode">cross ref name</a> in <cite>manual</cite>
+<code>@ref{(pman)anode,cross ref name,title,file name}</code> <a href="file 
name.html#anode">(file name)title</a>
+<code>@ref{(pman)anode,cross ref name,title,,manual}</code> <a 
href="pman.html#anode">title</a> in <cite>manual</cite>
+<code>@ref{(pman)anode,cross ref name,title, file name, manual}</code> <a 
href="file name.html#anode">title</a> in <cite>manual</cite>
+<code>@ref{(pman)anode,,title,file name}</code> <a href="file 
name.html#anode">(file name)title</a>
+<code>@ref{(pman)anode,,title,,manual}</code> <a 
href="pman.html#anode">title</a> in <cite>manual</cite>
+<code>@ref{(pman)anode,,title, file name, manual}</code> <a href="file 
name.html#anode">title</a> in <cite>manual</cite>
+<code>@ref{(pman)anode,,,file name,manual}</code> <a href="file 
name.html#anode">anode</a> in <cite>manual</cite>
+
+
+<code>@inforef{chapter, cross ref name, file name}</code> See <a href="file 
name.html#chapter">(file name)cross ref name</a>
 <code>@inforef{chapter}</code> See `chapter'
 <code>@inforef{chapter, cross ref name}</code> See `cross ref name'
-<code>@inforef{chapter,,file name}</code> See <a data-manual="file name" 
href="file name.html#chapter">(file name)chapter</a>
-<code>@inforef{node, cross ref name, file name}</code> See <a 
data-manual="file name" href="file name.html#node">(file name)cross ref name</a>
+<code>@inforef{chapter,,file name}</code> See <a href="file 
name.html#chapter">(file name)chapter</a>
+<code>@inforef{node, cross ref name, file name}</code> See <a href="file 
name.html#node">(file name)cross ref name</a>
 <code>@inforef{node}</code> See `node'
 <code>@inforef{node, cross ref name}</code> See `cross ref name'
-<code>@inforef{node,,file name}</code> See <a data-manual="file name" 
href="file name.html#node">(file name)node</a>
-<code>@inforef{chapter, cross ref name, file name, spurious arg}</code> See <a 
data-manual="file name, spurious arg" href="file name, spurious 
arg.html#chapter">(file name, spurious arg)cross ref name</a>
+<code>@inforef{node,,file name}</code> See <a href="file name.html#node">(file 
name)node</a>
+<code>@inforef{chapter, cross ref name, file name, spurious arg}</code> See <a 
href="file name, spurious arg.html#chapter">(file name, spurious arg)cross ref 
name</a>
 
 <code>@inforef{s--ect@comma{}ion, a @comma{} in cross
 ref, a comma@comma{} in file}</code>
-See <a data-manual="a comma, in file" href="a comma, in 
file.html#s_002d_002dect_002cion">(a comma, in file)a , in cross
+See <a href="a comma, in file.html#s_002d_002dect_002cion">(a comma, in file)a 
, in cross
 ref</a>
 
 `<samp><a href="#chapter">chapter</a></samp>'.
 
-<a data-manual="info file with uref3 href://http/myhost.com/index3.html 
(uref3)" href="index3.html (uref3).html#ext">title with uref2 <a 
href="href://http/myhost.com/index2.html">uref2</a></a> in <cite>printed manual 
with uref4 <a href="href://http/myhost.com/index4.html">uref4</a></cite>
+<a href="index3.html (uref3).html#ext">title with uref2 <a 
href="href://http/myhost.com/index2.html">uref2</a></a> in <cite>printed manual 
with uref4 <a href="href://http/myhost.com/index4.html">uref4</a></cite>
 <a href="#chapter">title with uref2 <a 
href="href://http/myhost.com/index2.html">uref2</a></a>
 
 </pre><dl compact="compact">
@@ -5713,37 +5713,37 @@ Invalid use of @':
 
 <code>@ref{,cross ref name}</code> `cross ref name'
 <code>@ref{,,title}</code> `title'
-<code>@ref{,,,file name}</code> <a data-manual="file name" href="file 
name.html#Top">(file name)</a>
+<code>@ref{,,,file name}</code> <a href="file name.html#Top">(file name)</a>
 <code>@ref{,,,,manual}</code> <cite>manual</cite>
 <code>@ref{node,cross ref name}</code> `cross ref name'
 <code>@ref{node,,title}</code> `title'
-<code>@ref{node,,,file name}</code> <a data-manual="file name" href="file 
name.html#node">(file name)node</a>
+<code>@ref{node,,,file name}</code> <a href="file name.html#node">(file 
name)node</a>
 <code>@ref{node,,,,manual}</code> `node' in <cite>manual</cite>
 <code>@ref{node,cross ref name,title,}</code> `title'
-<code>@ref{node,cross ref name,,file name}</code> <a data-manual="file name" 
href="file name.html#node">(file name)cross ref name</a>
+<code>@ref{node,cross ref name,,file name}</code> <a href="file 
name.html#node">(file name)cross ref name</a>
 <code>@ref{node,cross ref name,,,manual}</code> `cross ref name' in 
<cite>manual</cite>
-<code>@ref{node,cross ref name,title,file name}</code> <a data-manual="file 
name" href="file name.html#node">(file name)title</a>
+<code>@ref{node,cross ref name,title,file name}</code> <a href="file 
name.html#node">(file name)title</a>
 <code>@ref{node,cross ref name,title,,manual}</code> `title' in 
<cite>manual</cite>
-<code>@ref{node,cross ref name,title, file name, manual}</code> <a 
data-manual="file name" href="file name.html#node">title</a> in 
<cite>manual</cite>
-<code>@ref{node,,title,file name}</code> <a data-manual="file name" href="file 
name.html#node">(file name)title</a>
+<code>@ref{node,cross ref name,title, file name, manual}</code> <a href="file 
name.html#node">title</a> in <cite>manual</cite>
+<code>@ref{node,,title,file name}</code> <a href="file name.html#node">(file 
name)title</a>
 <code>@ref{node,,title,,manual}</code> `title' in <cite>manual</cite>
-<code>@ref{chapter,,title, file name, manual}</code> <a data-manual="file 
name" href="file name.html#chapter">title</a> in <cite>manual</cite>
-<code>@ref{node,,title, file name, manual}</code> <a data-manual="file name" 
href="file name.html#node">title</a> in <cite>manual</cite>
-<code>@ref{node,,,file name,manual}</code> <a data-manual="file name" 
href="file name.html#node">node</a> in <cite>manual</cite>
+<code>@ref{chapter,,title, file name, manual}</code> <a href="file 
name.html#chapter">title</a> in <cite>manual</cite>
+<code>@ref{node,,title, file name, manual}</code> <a href="file 
name.html#node">title</a> in <cite>manual</cite>
+<code>@ref{node,,,file name,manual}</code> <a href="file 
name.html#node">node</a> in <cite>manual</cite>
 <code>@ref{,cross ref name,title,}</code> `title'
-<code>@ref{,cross ref name,,file name}</code> <a data-manual="file name" 
href="file name.html#Top">(file name)cross ref name</a>
+<code>@ref{,cross ref name,,file name}</code> <a href="file 
name.html#Top">(file name)cross ref name</a>
 <code>@ref{,cross ref name,,,manual}</code> `cross ref name' in 
<cite>manual</cite>
-<code>@ref{,cross ref name,title,file name}</code> <a data-manual="file name" 
href="file name.html#Top">(file name)title</a>
+<code>@ref{,cross ref name,title,file name}</code> <a href="file 
name.html#Top">(file name)title</a>
 <code>@ref{,cross ref name,title,,manual}</code> `title' in <cite>manual</cite>
-<code>@ref{,cross ref name,title, file name, manual}</code> <a 
data-manual="file name" href="file name.html#Top">title</a> in 
<cite>manual</cite>
-<code>@ref{,,title,file name}</code> <a data-manual="file name" href="file 
name.html#Top">(file name)title</a>
+<code>@ref{,cross ref name,title, file name, manual}</code> <a href="file 
name.html#Top">title</a> in <cite>manual</cite>
+<code>@ref{,,title,file name}</code> <a href="file name.html#Top">(file 
name)title</a>
 <code>@ref{,,title,,manual}</code> `title' in <cite>manual</cite>
-<code>@ref{,,title, file name, manual}</code> <a data-manual="file name" 
href="file name.html#Top">title</a> in <cite>manual</cite>
-<code>@ref{,,,file name,manual}</code> <cite><a data-manual="file name" 
href="file name.html#Top">manual</a></cite>
+<code>@ref{,,title, file name, manual}</code> <a href="file 
name.html#Top">title</a> in <cite>manual</cite>
+<code>@ref{,,,file name,manual}</code> <cite><a href="file 
name.html#Top">manual</a></cite>
 
 <code>@inforef{,cross ref name }</code> See `cross ref name'
-<code>@inforef{,,file name}</code> See <a data-manual="file name" href="file 
name.html#Top">(file name)</a>
-<code>@inforef{,cross ref name, file name}</code> See <a data-manual="file 
name" href="file name.html#Top">(file name)cross ref name</a>
+<code>@inforef{,,file name}</code> See <a href="file name.html#Top">(file 
name)</a>
+<code>@inforef{,cross ref name, file name}</code> See <a href="file 
name.html#Top">(file name)cross ref name</a>
 <code>@inforef{}</code> 
 
 



reply via email to

[Prev in Thread] Current Thread [Next in Thread]