From 0b95b15b7ab73fcc49a58f3404fba27a847b2617 Mon Sep 17 00:00:00 2001 From: murray Date: Thu, 13 Sep 2001 06:44:36 +0000 Subject: [PATCH] 'make release' should install docproj ports with BATCH=yes so that your release builds don't stop in the middle of the night asking for user input about which Ghostscript drivers to install. --- release/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/release/Makefile b/release/Makefile index 4bedf43914eb..9d57b6c7417d 100644 --- a/release/Makefile +++ b/release/Makefile @@ -803,7 +803,7 @@ iso.1: doc.1: @echo "Making docs..." @for i in ${DOCPORTS}; do \ - cd /usr/ports/$$i && make all install clean JADETEX=no FORCE_PKG_REGISTER=yes; \ + cd /usr/ports/$$i && make all install clean BATCH=yes JADETEX=no FORCE_PKG_REGISTER=yes; \ done @cd /usr/doc && make all install 'FORMATS=html html-split txt' INSTALL_COMPRESSED='' DOCDIR=${RD}/trees/bin/usr/share/doc touch doc.1