
%\newcommand{\DOC}[1]{\noindent{\LARGE\tt #1}\newline\mbox{}}

\newcommand{\DOC}[1]%
{\bigskip
 \begin{flushleft}\index{#1}
 \begin{tabular}{|c|}\hline
 \begin{minipage}{\minipagewidth}
 \bigskip
 {\LARGE\tt #1}
 \bigskip
 \end{minipage}\\ \hline
 \end{tabular}
 \end{flushleft}
 \bigskip
}

\newcommand{\SYNOPSIS}%
{\bigskip{\noindent\large\bf Synopsis}\newline\mbox{}}

\newcommand{\CATEGORIES}%
{\bigskip{\noindent\large\bf Categories}\newline\mbox{}}

\newcommand{\DESCRIBE}%
{\bigskip{\noindent\large\bf Description}\newline\mbox{}}

\newcommand{\FAILURE}%
{\bigskip{\noindent\large\bf Failure}\newline\mbox{}}

\newcommand{\EXAMPLE}%
{\bigskip{\noindent\large\bf Example}\newline\mbox{}}

\newcommand{\USES}%
{\bigskip{\noindent\large\bf Uses}\newline\mbox{}}

\newcommand{\SEEALSO}%
{\bigskip{\noindent\large\bf See also}}

\newcommand{\ENDDOC}{}
