Man page - coqtags(1)
Packages contas this manual
Manual
| COQTAGS(1) | User Commands | 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
| Aug 2023 | coqtags |