diff options
Diffstat (limited to 'math/isabelle/Makefile')
-rw-r--r-- | math/isabelle/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/isabelle/Makefile b/math/isabelle/Makefile index 1d196217b4ab..a22f882df95c 100644 --- a/math/isabelle/Makefile +++ b/math/isabelle/Makefile @@ -31,6 +31,7 @@ EMACS_PKG_DESC= Build with Emacs Packages USES= perl5 +NO_STAGE= yes .include <bsd.port.options.mk> .if ${PORT_OPTIONS:MDOCS} |