coq_makefile(1) on Linux
The text 61d0429bcd03, as Debian 12 (Bookworm), Debian 11 (Bullseye) shipped it.
The Coq Proof Assistant makefile generator
Flags it lists
-
-h
The text 61d0429bcd03, as Debian 12 (Bookworm), Debian 11 (Bullseye) shipped it.
The Coq Proof Assistant makefile generator
-h