
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "BONMIN_UsersManual"
%%% End:

\appendix
\html{\setcounter{section}{1}}
\latex{\section{List of \Bonmin\ options}}
\label{sec:optList}

\begin{PageSummary}
\PageName{List of \Bonmin\ options}
\end{PageSummary}

\input{options_list_bonmin_content}
