COQ_MAKEFILE(1)             General Commands Manual            COQ_MAKEFILE(1)

<?><?><?> (NAME)
       coq_makefile - <?><?><?><?><?> makefile <?><?><?><?> <?><?><?><?><?>
       <?><?><?><?><?><?><?><?><?> Coq

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

<?><?><?><?><?><?><?> (DESCRIPTION)
       coq_makefile <?><?> <?><?><?><?><?><?><?><?><?><?> makefile
       <?><?><?><?> <?><?><?><?><?> <?><?><?><?><?><?><?><?><?> Coq <?><?><?>.

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

<?><?><?><?><?><?> <?><?><?><?><?><?> (SEE ALSO)
       coqtop(1), coqtc(1), coqdep(1)

       <?><?><?><?><?><?><?> <?><?><?><?> Rocq Prover.

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

                                                               COQ_MAKEFILE(1)