--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/CSP2/CSP2_env/env-d9b9114564458d9d-741b3de822f2aaca6c6caa4325c4afce/opt/mummer-3.23/docs/optionman.sty	Tue Mar 18 17:55:14 2025 -0400
@@ -0,0 +1,22 @@
+
+\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