
jpayne@69: 
jpayne@69: \newcommand{\Showoption}[1]{\mbox{\footnotesize \texttt{-#1}}}
jpayne@69: \newcommand{\Option}[3]{\index{Option!\texttt{-#1}}\item[\Showoption{#1}~#2]
jpayne@69: \mbox{}\\%
jpayne@69: #3}
jpayne@69: 
jpayne@69: \newenvironment{Showprogramwithoptions}[2]{
jpayne@69: The program is called as follows:
jpayne@69: \par
jpayne@69: \noindent#1 [\emph{options}] \emph{indexname}
jpayne@69: \par
jpayne@69: #2
jpayne@69: \par
jpayne@69: And here is a description of the options:
jpayne@69: \par
jpayne@69: \begin{list}{}{}
jpayne@69: }{\end{list}}
jpayne@69: 
jpayne@69: \newcommand{\MKV}{\texttt{mkvtree}\xspace}
jpayne@69: 
jpayne@69: \parskip5pt
jpayne@69: \parindent0pt




