68 lines
2.0 KiB
HTML
68 lines
2.0 KiB
HTML
|
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
|
|
<HTML><HEAD><TITLE>Man page of OPAM-HELP</TITLE>
|
|
</HEAD><BODY>
|
|
<H1>OPAM-HELP</H1>
|
|
Section: Opam Manual (1)<BR>Updated: <BR><A HREF="#index">Index</A>
|
|
<A HREF="/cgi-bin/man/man2html">Return to Main Contents</A><HR>
|
|
|
|
|
|
|
|
|
|
<A NAME="lbAB"> </A>
|
|
<H2>NAME</H2>
|
|
|
|
<P>
|
|
|
|
opam-help - Display help about opam and opam commands.
|
|
<A NAME="lbAC"> </A>
|
|
<H2>SYNOPSIS</H2>
|
|
|
|
<P>
|
|
|
|
<B>opam help</B> [<I>OPTION</I>]... [<I>TOPIC</I>]
|
|
<A NAME="lbAD"> </A>
|
|
<H2>DESCRIPTION</H2>
|
|
|
|
<P>
|
|
|
|
Prints help about opam commands.
|
|
<P>
|
|
|
|
Use `<B>opam</B> help topics' to get the full list of help topics.
|
|
<A NAME="lbAE"> </A>
|
|
<H2>ARGUMENTS</H2>
|
|
|
|
<DL COMPACT>
|
|
<DT id="1"><I>TOPIC</I><DD>
|
|
The topic to get help on.
|
|
</DL>
|
|
<A NAME="lbAF"> </A>
|
|
<H2>OPTIONS</H2>
|
|
|
|
<DL COMPACT>
|
|
<DT id="2"><B>--help</B>[=<I>FMT</I>] (default=auto)<DD>
|
|
Show this help in format <I>FMT</I>. The value <I>FMT</I> must be one of `auto', `pager', `groff' or `plain'. With `auto', the format is `pager` or `plain' whenever the <B>TERM</B> env var is `dumb' or undefined.
|
|
<DT id="3"><B>--man-format</B>=<I>FMT</I> (absent=pager)<DD>
|
|
Show output in format <I>FMT</I>. The value <I>FMT</I> must be one of `auto', `pager', `groff' or `plain'. With `auto', the format is `pager` or `plain' whenever the <B>TERM</B> env var is `dumb' or undefined.
|
|
<DT id="4"><B>--version</B><DD>
|
|
Show version information.
|
|
</DL>
|
|
|
|
<HR>
|
|
<A NAME="index"> </A><H2>Index</H2>
|
|
<DL>
|
|
<DT id="5"><A HREF="#lbAB">NAME</A><DD>
|
|
<DT id="6"><A HREF="#lbAC">SYNOPSIS</A><DD>
|
|
<DT id="7"><A HREF="#lbAD">DESCRIPTION</A><DD>
|
|
<DT id="8"><A HREF="#lbAE">ARGUMENTS</A><DD>
|
|
<DT id="9"><A HREF="#lbAF">OPTIONS</A><DD>
|
|
</DL>
|
|
<HR>
|
|
This document was created by
|
|
<A HREF="/cgi-bin/man/man2html">man2html</A>,
|
|
using the manual pages.<BR>
|
|
Time: 00:05:20 GMT, March 31, 2021
|
|
</BODY>
|
|
</HTML>
|