COQWC(1)                    General Commands Manual                   COQWC(1)

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

<?><?><?><?><?> <?><?><?><?><?> (SYNOPSIS)
       coqwc [ -p ] [ -s ] [ -r ] [ -e ] files ...

<?><?><?><?><?><?><?> (DESCRIPTION)
       coqwc <?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?><?> <?><?><?><?>
       <?><?><?><?><?> <?> <?><?><?><?> <?><?><?><?><?> <?><?> <?><?>
       <?><?><?><?><?><?><?><?> Coq <?><?><?><?><?><?> <?><?><?><?><?><?>.

<?><?><?><?><?><?><?><?> (OPTIONS)
       -p     <?><?><?> <?><?><?><?> <?><?><?><?><?><?><?><?>.

       -s     <?><?><?><?> <?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?>
              <?><?> <?><?><?> <?><?><?><?><?><?>.

       -r     <?><?><?><?> <?><?><?><?><?> <?><?><?><?> <?><?><?><?><?> <?><?>
              <?><?><?> <?><?><?><?><?><?>.

       -e     <?><?> <?><?><?><?><?><?><?><?> (headers) <?><?><?><?><?><?><?>
              <?><?><?><?><?><?><?>.

<?><?><?><?><?> <?><?><?><?><?><?> (BUGS)
       <?><?><?><?><?> <?><?><?><?><?><?> <?><?><?> <?><?> <?><?>
       https://github.com/coq/coq/issues <?><?><?><?><?> <?><?><?><?>.

                                                                      COQWC(1)