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