COQTAGS(1)

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