diff options
Diffstat (limited to 'lang/coq/options.mk')
| -rw-r--r-- | lang/coq/options.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/coq/options.mk b/lang/coq/options.mk index 14ffbaec435..6f1fbe5ecee 100644 --- a/lang/coq/options.mk +++ b/lang/coq/options.mk @@ -1,4 +1,4 @@ -# $NetBSD: options.mk,v 1.5 2019/03/06 09:28:23 jaapb Exp $ +# $NetBSD: options.mk,v 1.6 2019/04/26 12:44:43 roy Exp $ PKG_OPTIONS_VAR= PKG_OPTIONS.coq PKG_SUPPORTED_OPTIONS= doc coqide @@ -7,7 +7,7 @@ PKG_SUGGESTED_OPTIONS= coqide .include "../../mk/bsd.options.mk" .if !empty(PKG_OPTIONS:Mdoc) -PYTHON_VERSIONS_ACCEPTED= 37 36 35 34 +PYTHON_VERSIONS_ACCEPTED= 37 36 CONFIGURE_ARGS+= -with-doc yes PLIST.doc= yes BUILD_DEPENDS+= tex-latex-bin-[0-9]*:../../print/tex-latex-bin |