view CSP2/CSP2_env/env-d9b9114564458d9d-741b3de822f2aaca6c6caa4325c4afce/opt/mummer-3.23/docs/optionman.sty @ 69:33d812a61356

planemo upload commit 2e9511a184a1ca667c7be0c6321a36dc4e3d116d
author jpayne
date Tue, 18 Mar 2025 17:55:14 -0400
parents
children
line wrap: on
line source

\newcommand{\Showoption}[1]{\mbox{\footnotesize \texttt{-#1}}}
\newcommand{\Option}[3]{\index{Option!\texttt{-#1}}\item[\Showoption{#1}~#2]
\mbox{}\\%
#3}

\newenvironment{Showprogramwithoptions}[2]{
The program is called as follows:
\par
\noindent#1 [\emph{options}] \emph{indexname}
\par
#2
\par
And here is a description of the options:
\par
\begin{list}{}{}
}{\end{list}}

\newcommand{\MKV}{\texttt{mkvtree}\xspace}

\parskip5pt
\parindent0pt