default = \verb|'BOTTOM'| \item[\gn{\$FIGURE\_SCALE\_FACTOR}] magnification factor to be used with images of whole \env{figure} and \env{table} environments \item[\gn{\$FILE}] holds the name of the \texttt{HTML} output of the top-most page in a document, when vital links are to be established \item[\gn{\$FIXEDDIR}] specifies the target directory for the \texttt{HTML} file, when several sources are processed from a single command-line \item[\gn{\$FOILCLASS}] The document class that is substituted for \texttt{foils} in the \texttt{images.
(default = \verb|'BOTTOM'| \item[\gn{\$FIGURE\_SCALE\_FACTOR}] magnification factor to be used with images of whole \env{figure} and \env{table} environments \item[\gn{\$FILE}] holds the name of the \texttt{HTML} output of the top-most page in a document, when vital links are to be established \item[\gn{\$FIXEDDIR; specifies; the target directory for the \texttt) (several sources; are processed; from a single command-line \item) ($FILE; holds; the name of the \texttt) (The document class; is substituted; for \texttt; L:in the \texttt) (vital links; are; to be established) (vital links; to be established; )
default = \verb|'BOTTOM'| \item[\gn{\$FIGURE\_SCALE\_FACTOR}] magnification factor to be used with images of whole \env{figure} and \env{table} environments \item[\gn{\$FILE}] holds the name of the \texttt{HTML} output of the top-most page in a document, when vital links are to be established \item[\gn{\$FIXEDDIR several sources $FILE The document class vital links vital links
specifies are processed holds is substituted are to be established
the target directory for the \texttt
from a single command-line \item
the name of the \texttt
for \texttt L:in the \texttt
to be established