coq_makefile(1) on Linux
The text 1dd9e6547a45, as Debian 3.0 (Woody) shipped it.
The Coq Proof Assistant makefile generator
Flags it lists
-
-h
The text 1dd9e6547a45, as Debian 3.0 (Woody) shipped it.
The Coq Proof Assistant makefile generator
-h