--- a/make/autoconf/spec.gmk.in	Thu Jul 26 09:30:58 2018 -0700
+++ b/make/autoconf/spec.gmk.in	Thu Jul 26 10:00:40 2018 -0700
@@ -311,6 +311,8 @@
 
 EXCLUDE_TRANSLATIONS := @EXCLUDE_TRANSLATIONS@
 
+BUILD_MANPAGES := @BUILD_MANPAGES@
+
 # The boot jdk to use. This is overridden in bootcycle-spec.gmk. Make sure to keep
 # it in sync.
 BOOT_JDK:=@BOOT_JDK@