coq_makefile(1) on Linux
The text 3b67f3f61a9f, as Debian 13 (Trixie) shipped it.
generate makefiles for Coq proof development
Flags it lists
-
-h
The text 3b67f3f61a9f, as Debian 13 (Trixie) shipped it.
generate makefiles for Coq proof development
-h