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