1 files changed, 5 insertions, 0 deletions

diff --git a/release/Makefile b/release/Makefile
index b21d6d216b52..8aa250cce5f2 100644
--- a/release/Makefile
+++ b/release/Makefile
@@ -173,6 +173,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