diff options
| -rw-r--r-- | release/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/release/Makefile b/release/Makefile index 4bedf43..9d57b6c 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 |
