Raymond Toy pushed to branch master at cmucl / cmucl

Commits:

• cd2edae5
  by Raymond Toy at 2025-08-19T14:16:31-07:00

  Fix #432:  Don't pass -M option to make-extra-dist.sh
  

• c65554a5
  by Raymond Toy at 2025-08-19T14:16:31-07:00

  Merge branch 'issue-432-fix-man-option-for-make-extra-dist' into 'master'
  
  Fix #432:  Don't pass -M option to make-extra-dist.sh
  
  Closes #432
  
  See merge request cmucl/cmucl!315

1 changed file:

• bin/make-dist.sh

Changes:

 EXTRA_OPTS="${GROUP:+ -G ${GROUP}} ${OWNER:+ -O ${OWNER}}"

 INSTALL_OPTS="${INSTALL_DIR:+ -I ${INSTALL_DIR}}"

 MANDIR="${MANDIR:+ -M ${MANDIR}}"

-OPTIONS="${GTAR_OPTS} ${EXTRA_OPTS} ${INSTALL_OPTS} ${MANDIR}"

+OPTIONS="${GTAR_OPTS} ${EXTRA_OPTS} ${INSTALL_OPTS}"

 set -x

 echo Creating distribution for $ARCH $OS