diff options
| author | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-09-20 20:55:04 +0000 |
|---|---|---|
| committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-09-20 20:55:04 +0000 |
| commit | ce5e4570204c37f4ac986a2a6bc076aa911167d6 (patch) | |
| tree | 1c069c3c993156dc583330fa958afbe99bb4966e /math/coq | |
| parent | 8ac99398e2b62e1b10333d4c88ae273f4f0ed365 (diff) | |
| download | ports-ce5e4570204c37f4ac986a2a6bc076aa911167d6.tar.gz ports-ce5e4570204c37f4ac986a2a6bc076aa911167d6.zip | |
Notes
Diffstat (limited to 'math/coq')
| -rw-r--r-- | math/coq/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile index acc1f2ca4bd0..ba2ca83ae11a 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -33,6 +33,7 @@ IDE_DESC= Include desktop environment (coqide) MAN1= coq-tex.1 coq_makefile.1 coqc.1 coqchk.1 coqdep.1 coqdoc.1 \ coqmktop.1 coqtop.1 coqtop.byte.1 coqtop.opt.1 coqwc.1 gallina.1 +NO_STAGE= yes .include <bsd.port.options.mk> .if ${PORT_OPTIONS:MDOCS} |