COQDOC(1)                   General Commands Manual                  COQDOC(1)

<?><?><?> (NAME)
       coqdoc - <?><?><?><?><?> <?><?><?><?><?><?><?><?><?> <?><?><?><?>
       <?><?><?><?><?><?> <?><?><?><?><?> Coq

<?><?><?><?><?> <?><?><?><?><?> (SYNOPSIS)
       coqdoc [ <?><?><?><?><?><?><?><?> ] <?><?><?><?><?><?><?>

<?><?><?><?><?><?><?> (DESCRIPTION)
       coqdoc <?><?> <?><?><?><?><?> <?><?><?><?><?><?><?><?><?> <?><?><?><?>
       <?><?><?><?><?><?> <?><?><?><?><?> Coq <?><?><?>.  <?><?><?>
       <?><?><?><?><?> <?><?> <?><?><?><?><?><?><?><?><?> <?><?>
       <?><?><?><?><?><?><?><?> Coq <?><?><?><?><?> LaTeX <?><?> HTML
       <?><?><?><?><?> <?><?><?><?><?><?>.  <?><?><?><?> <?><?><?><?><?><?><?>
       <?><?> <?><?><?><?><?><?> <?><?><?><?><?><?><?> <?><?><?><?> Coq
       <?><?><?><?><?><?> <?><?><?><?> (<?><?><?><?><?> <?><?> <?><?><?>
       <?><?><?><?> <?><?><?>).

<?><?><?><?><?><?><?><?> (OPTIONS)
   <?><?><?><?><?><?><?><?><?> <?><?><?>
       -h     <?><?><?><?><?><?>.  <?><?><?><?><?> <?><?><?><?><?> <?><?>
              <?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?> <?><?><?>
              <?><?><?><?> coqdoc <?><?> <?><?><?><?><?> <?><?><?><?><?><?>.

       --html <?><?><?><?><?> HTML <?><?> <?><?><?><?><?><?>
              <?><?><?><?><?><?>.

       --latex
              <?><?><?><?><?> LaTeX <?><?> <?><?><?><?><?><?>
              <?><?><?><?><?><?>.

       --dvi  <?><?><?><?><?> DVI <?><?> <?><?><?><?><?><?>
              <?><?><?><?><?><?>.

       --ps   <?><?><?><?><?> PostScript <?><?> <?><?><?><?><?><?>
              <?><?><?><?><?><?>.

       --texmacs
              <?><?><?><?><?> TeXmacs <?><?> <?><?><?><?><?><?>
              <?><?><?><?><?><?>.

       --stdout
              <?><?><?><?><?> <?><?> <?><?> <?><?><?><?><?>
              <?><?><?><?><?><?><?><?><?> (stdout) <?><?><?><?><?>
              <?><?><?><?><?><?>.

       -o file,--output file
              <?><?><?><?><?> <?><?> <?><?> <?><?><?><?> file <?><?><?><?><?>
              <?><?><?><?><?><?>.

       -d dir, --directory dir
              <?><?><?><?><?><?><?> <?><?> <?><?> <?><?><?>
              <?><?><?><?><?><?><?><?><?> <?><?><?><?> <?><?>
              <?><?><?><?><?><?><?><?><?> dir <?><?><?><?><?>
              <?><?><?><?><?><?> (<?><?><?><?><?> -d <?><?><?> <?><?><?><?>
              <?><?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?><?> -o <?><?>
              <?><?> <?><?><?><?> <?><?><?><?><?> <?><?><?><?><?>
              <?><?><?><?><?><?><?>).

       -s, --short
              <?><?> <?><?><?> <?><?><?><?><?> <?><?><?><?>
              <?><?><?><?><?><?><?> <?><?><?><?><?><?><?> <?><?><?><?><?><?>.
              <?><?><?><?><?> <?><?><?><?><?><?><?> <?><?><?>
              <?><?><?><?><?><?> <?><?><?><?><?> "Library Foo" <?><?><?><?>
              <?><?> <?><?><?><?> <?><?><?>.

       -t string, --title string
              <?><?><?><?><?> <?><?><?> <?><?> <?><?><?><?><?>
              <?><?><?><?><?><?>.

       --body-only
              <?><?><?><?><?><?> <?> <?><?><?><?><?><?><?> <?><?><?>
              <?><?><?><?><?> <?><?> <?><?><?> <?><?><?><?><?><?>.
              <?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?> <?><?><?>
              <?><?><?><?><?><?><?><?><?><?><?> <?><?> <?><?><?><?> <?><?>
              <?><?><?> <?><?><?><?><?><?><?> <?><?><?> <?><?><?><?>.

       -p string, --preamble string
              <?><?><?><?><?><?> <?><?> <?><?><?><?> <?><?><?> <?><?>
              \begin{document} <?><?> <?><?><?><?><?><?><?><?><?> (preamble)
              <?><?><?> LaTeX <?><?><?><?><?> <?><?><?><?><?><?> (<?><?> -html
              <?><?><?><?><?><?><?> <?><?><?>).

       --vernac-file file, --tex-file file
              <?><?><?><?> file <?><?> <?><?> <?><?><?><?><?> <?><?>
              <?><?><?><?><?> <?><?> <?><?><?><?> .v (<?><?> .g) <?><?> <?><?>
              <?><?><?><?> .tex <?><?> <?><?><?> <?><?><?><?><?><?><?>.

       --files-from file
              <?><?><?> <?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?>
              <?><?> <?><?> <?><?><?><?> file <?><?><?><?><?><?><?><?><?>
              <?><?><?><?> <?><?> <?><?> <?><?> <?><?><?><?><?> <?><?><?><?>
              <?><?><?><?><?><?><?>.  <?><?><?> <?><?><?><?><?> <?><?><?><?>
              <?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?><?><?><?> <?><?>
              <?><?> <?><?><?> <?><?><?><?><?><?><?><?><?> <?><?><?><?><?>
              <?><?><?><?><?><?><?> <?><?><?><?> <?><?><?>.

       -q, --quiet
              <?><?><?><?> <?><?><?><?>.  <?><?> <?><?> <?><?><?><?><?>
              <?><?><?><?> <?><?><?> <?><?><?><?><?><?><?>.

       -h, --help
              <?><?><?><?><?><?><?><?> <?><?><?><?><?> <?><?>
              <?><?><?><?><?><?><?><?> <?><?> <?><?><?><?><?> <?><?><?><?> <?>
              <?><?><?><?> <?><?><?><?><?><?>.

       -v, --version
              <?><?><?><?> <?><?> <?><?><?> <?><?><?><?> <?> <?><?><?><?>
              <?><?><?><?><?><?>.

   <?><?><?><?><?><?><?><?><?> <?><?><?><?><?>
       <?><?><?><?><?> <?><?><?><?><?><?><?><?> <?><?><?><?> <?><?>
       <?><?><?><?><?> (<?><?><?><?> <?><?><?><?> <?><?><?><?><?> HTML) <?><?>
       <?><?><?><?> index.html <?><?><?>.

       --no-index
              <?><?><?><?><?> <?><?> <?><?> <?><?><?><?><?> <?><?><?><?><?>
              <?><?><?><?><?><?><?>.

       --multi-index
              <?><?><?><?> <?><?> <?><?><?><?><?><?><?><?><?> <?> <?><?>
              <?><?><?> <?><?> <?><?><?><?><?> <?><?> <?><?><?><?><?> <?><?>
              <?><?><?><?><?> <?><?> <?><?><?><?> <?><?><?><?> <?><?>
              <?><?><?> index.html <?><?><?><?><?> <?><?><?><?><?><?>.

   <?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?>
       -toc, --table-of-contents
              <?><?> <?><?><?><?><?> <?><?><?><?><?> <?><?><?>
              <?><?><?><?><?><?>.  <?><?><?><?> <?><?><?><?><?> LaTeX<?>
              <?><?> \tableofcontents <?><?> <?><?><?><?><?><?> <?><?><?>
              <?><?><?> <?><?><?><?><?><?>.  <?><?><?><?> <?><?><?><?><?>
              HTML<?> <?><?> <?><?><?><?><?> <?><?><?><?><?> <?><?> toc.html
              <?><?><?><?><?><?><?>.

   <?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?>
       --glob-from file
              <?><?><?><?><?><?><?> <?><?> <?><?> <?><?><?><?><?><?><?> <?><?>
              <?><?><?><?><?><?><?><?><?><?><?><?><?><?><?> Coq <?><?>
              <?><?><?><?> file <?><?><?><?><?> <?><?><?><?><?><?>.
              (<?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?><?><?><?><?><?>
              <?><?> <?><?><?><?><?> Coq <?><?><?><?> -dump-glob <?><?>
              <?><?><?> <?><?><?><?><?><?><?>).

       --no-externals
              <?><?><?><?><?><?><?><?><?> <?><?> <?><?><?><?><?><?><?><?>
              <?><?><?><?><?><?><?><?><?> Coq <?><?><?> <?><?><?><?><?><?><?>.

       --external url libroot
              <?><?><?><?><?> <?><?><?><?><?><?><?><?> (URL) <?><?><?><?>
              <?><?> <?><?><?><?> <?><?><?><?><?><?><?><?> <?><?><?><?><?>
              <?><?> <?><?><?><?><?><?> <?><?><?><?> <?><?> libroot <?><?><?>
              <?><?><?><?><?> <?><?><?><?><?><?>.

       --coqlib_url url
              <?><?><?><?><?> <?><?><?><?><?><?><?><?> (URL) <?><?><?><?>
              <?><?> <?><?><?><?> <?><?><?><?><?><?><?><?>
              <?><?><?><?><?><?><?><?><?> Coq <?><?><?><?><?>
              <?><?><?><?><?><?> (<?><?><?><?><?><?><?>
              http://coq.inria.fr/library <?><?><?>).

       --coqlib dir
              <?><?><?><?> <?><?><?><?><?><?><?> <?><?> <?><?>
              <?><?><?><?><?><?><?><?> Coq <?><?> <?><?> <?><?><?>
              <?><?><?><?><?><?><?><?> <?><?> <?><?><?><?>
              <?><?><?><?><?><?><?><?> <?><?><?><?> coqdoc.sty <?>
              coqdoc.css<?> <?><?><?><?> <?><?><?><?><?><?>.

       -R dir coqdir
              <?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?> dir <?><?> <?><?>
              <?><?><?><?><?><?><?><?><?> <?><?><?><?><?> Coq <?><?> <?><?><?>
              coqdir <?><?><?><?><?> <?><?><?><?><?><?> (<?><?><?><?><?>
              <?><?><?><?><?> -R <?><?> Coq).  <?><?><?><?>: <?><?><?><?><?>
              -R <?><?><?><?> <?><?> <?><?><?> <?><?><?><?><?><?><?><?><?>
              <?><?><?><?><?> <?><?><?><?><?><?><?><?> <?><?> <?><?> <?><?>
              <?><?> <?><?> <?><?> <?><?><?><?><?> <?><?><?><?>
              <?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?>
              <?><?><?><?><?><?><?><?> <?><?><?><?> <?><?><?> <?><?><?><?><?>
              <?><?> <?><?><?> <?><?> <?><?><?><?> <?><?><?><?><?><?><?><?>
              <?><?><?><?> <?><?><?><?>.

   <?><?><?><?><?><?><?><?><?> <?><?><?><?><?>
       -g, --gallina
              <?><?><?><?><?><?><?><?> <?><?> <?><?><?> <?><?><?><?><?><?><?>.

       -l, --light
              <?><?><?><?> <?><?><?> (Light). <?><?><?><?><?><?><?><?>
              (<?><?><?><?><?> -g) <?> <?><?><?><?><?><?><?><?> <?><?><?>
              <?><?> <?><?><?> <?><?><?><?><?><?>:

              o  [Recursive] Tactic Definition

              o  Hint / Hints

              o  Require

              o  Transparent / Opaque

              o  Implicit Argument / Implicits

              o  Section / Variable / Hypothesis / End

              <?><?><?><?><?> <?><?><?><?><?><?><?><?><?> -g <?> -l
              <?><?><?><?><?><?><?><?> <?><?> <?><?><?><?> <?><?><?><?> <?><?>
              <?><?><?><?><?><?><?> <?><?> <?><?><?><?> (* begin show *) ...
              (* end show *) <?><?><?><?><?><?><?><?> <?><?><?> (<?><?>
              <?><?><?><?> <?><?><?><?><?><?> <?><?><?><?>).

   <?><?><?><?><?><?><?><?><?> <?><?><?><?>
       <?><?><?><?><?> <?><?><?><?><?><?><?><?> <?><?><?> <?><?><?><?>
       <?><?><?><?><?><?><?><?> <?><?><?><?><?> <?><?> <?><?><?><?><?>
       <?><?><?><?> (ASCII) <?> <?><?><?><?> <?><?><?>.

       -latin1, --latin1
              <?><?><?><?><?><?><?><?> <?><?><?><?><?> ISO-8859-1 <?><?>
              <?><?><?><?><?><?> <?><?><?><?><?><?>.  <?><?><?>
              <?><?><?><?><?> <?><?><?><?><?> <?><?><?> <?><?>
              --inputenc latin1 --charset iso-8859-1.

       -utf8, --utf8
              <?><?><?><?><?><?><?><?> <?><?><?><?><?> UTF-8
              (<?><?><?><?><?><?>) <?><?> <?><?><?><?><?><?>
              <?><?><?><?><?><?>.  <?><?><?> <?><?><?><?><?> <?><?><?><?><?>
              <?><?><?> <?><?> --inputenc utf8 --charset utf-8.
              <?><?><?><?><?><?><?><?> LaTeX <?><?> UTF-8 <?><?>
              <?><?><?><?><?><?><?> <?><?> <?><?><?><?><?> <?><?><?>
              <?><?><?><?>:
              http://www.ctan.org/tex-archive/macros/latex/contrib/supported/unicode

       --inputenc string
              <?><?> <?><?><?><?><?><?><?> <?><?><?><?><?> LaTeX<?> <?><?>
              <?><?><?><?><?> <?><?><?><?><?><?><?><?> <?><?><?><?>
              <?><?><?><?> inputenc <?><?> LaTeX<?> <?><?><?><?><?>
              <?><?><?><?><?><?>.

       --charset string
              <?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?> HTML <?><?>
              <?><?><?><?> <?><?><?> <?><?> <?><?><?><?><?><?> HTML
              <?><?><?><?> <?><?><?><?><?><?>.

<?><?><?><?><?><?> <?><?><?><?><?><?> (SEE ALSO)
       The Rocq Prover Reference Manual.

       <?><?><?><?><?> Rocq Prover: https://rocq-prover.org

                                                                     COQDOC(1)