COQ_MAKEFILE(1)

💖 NAME 💖

coq_makefile — bestie, this is the girl who generates makefiles for your Coq proof development. That's it, that's her whole job, and she does it flawlessly 💅

---

✨ SYNOPSIS ✨

coq_makefile [ arguments ]

Yeah. That's the whole vibe. She takes arguments, she gives you a makefile. Iconic behaviour, no notes 🎀

---

🦋 DESCRIPTION 🦋

Okay so listen 🫶 coq_makefile is a makefile generator for Coq proof developments. That's literally the entire description, she's not doing a monologue, she's doing her job. You hand her a proof development, she hands you back a makefile. Main character energy, minimal dialogue ✨

---

🎀 OPTIONS 🎀

• -h — not me being the "just read the manual" girl 😭 this one will give you a description of the whole list of options of coq_makefile. The whole list, bestie. Every single one. Go look 👑 💖

---

🌸 SEE ALSO 🌸

• coqtop(1)
• coqtc(1)
• coqdep(1)
• The Rocq Prover Reference Manual. 📖
• The Rocq Prover website: https://rocq-prover.org 🌈

---

okay that's the page, we ate and left no crumbs 🍓 this was COQ_MAKEFILE(1) from the General Commands Manual — she lives in the manual pages, she's a whole icon, and honestly? the way she's just there generating makefiles for the Rocq Prover... obsessed 💜 slay, bye bestie 🦋✨