Man page - coqtags(1)

Packages contains this manual

Package:  proofgeneral
apt-get install proofgeneral

Manuals in package:
• proofgeneral(1)
• coqtags(1)
Documentations in package:
• proofgeneral

Manual

COQTAGS

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