NAME

       coqtags - tags generator for Coq files for Emacs

SYNOPSIS

       coqtags <filenames>

DESCRIPTION

       Generates the TAGS file used by Emacs for a Coq project.

       <filenames>
              the names of the files for which to generate the TAGS file