diff options
-rw-r--r-- | release/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/release/Makefile b/release/Makefile index 8314b71..b397168 100644 --- a/release/Makefile +++ b/release/Makefile @@ -174,6 +174,11 @@ rerelease release: .if !defined(CHROOTDIR) || !defined(BUILDNAME) || !defined(CVSROOT) @echo "To make a release you must set CHROOTDIR, BUILDNAME and CVSROOT" && false .endif +.if defined(NOPORTS) && !defined(NODOC) + @echo "Ports are required for building the docs. Either set NODOC or" + @echo "unset NOPORTS!" + @exit 1 +.endif .if make(release) .if exists(${CHROOTDIR}) # The first command will fail on a handful of files that have their schg |