Updated description of DOT and friends to account for optional GLOBAL

var.

docs/html/footnode.html

@@ -14,7 +14,7 @@
 
 <LINK REL="STYLESHEET" HREF="userhtml.css">
 
-<LINK REL="previous" HREF="node133.html">
+<LINK REL="previous" HREF="node134.html">
 <LINK REL="up" HREF="userhtml.html">
 </HEAD>
 
@@ -137,8 +137,8 @@ sample scatter/gather routines.
 .
 </PRE>
 </DD>
-<DT><A NAME="foot7637">... follows</A><A
+<DT><A NAME="foot7809">... follows</A><A
- HREF="node125.html#tex2html31"><SUP><SPAN CLASS="arabic">4</SPAN></SUP></A></DT>
+ HREF="node126.html#tex2html31"><SUP><SPAN CLASS="arabic">4</SPAN></SUP></A></DT>
 <DD>The string is case-insensitive
 
 <PRE>.
@@ -173,12 +173,12 @@ sample scatter/gather routines.
 .
 </PRE>
 </DD>
-<DT><A NAME="foot8086">... method</A><A
+<DT><A NAME="foot8258">... method</A><A
- HREF="node132.html#tex2html32"><SUP><SPAN CLASS="arabic">5</SPAN></SUP></A></DT>
+ HREF="node133.html#tex2html32"><SUP><SPAN CLASS="arabic">5</SPAN></SUP></A></DT>
 <DD>Note:
       the implementation is for <SPAN CLASS="MATH"><IMG
  WIDTH="62" HEIGHT="32" ALIGN="MIDDLE" BORDER="0"
- SRC="img163.png"
+ SRC="img169.png"
  ALT="$FCG(1)$"></SPAN>.
 
 <PRE>.