---
name: "coqtags"
section: "1"
platform: "linux"
package: "proofgeneral"
version: "4.5-3"
release: "Debian 13 (Trixie)"
platforms: ["linux"]
url: "https://new.carta.tech/coqtags"
---

# coqtags(1)

tags generator for Coq files for Emacs

## 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