COQTAGS(1)

📦 version 4.5, in debian trixie, ubuntu noble, ubuntu questing, ubuntu resolute, ubuntu stonking

✨ NAME ✨

coqtags — a tags generator for Coq files for Emacs. 💖 This is the COQTAGS(1) manual page, bestie, hanging out in the User Commands section. It's giving "I make the TAGS file happen." 🎀

🦋 SYNOPSIS 🦋

coqtags <filenames>

💅 DESCRIPTION 💅

Okay so coqtags generates the TAGS file that Emacs uses for a Coq project. ✨ That's the main-character job, and it ate. 💅

  • <filenames> — the names of the files for which to generate the TAGS file. 📂 No cap, those filenames are literally the whole list of files in question.

Sign-off vibes: this page comes from coqtags, dated Aug 2023, and its manual-page label is COQTAGS(1). 🫶💖

📦 where this page comes from