Raymond Toy pushed new branch issue-432-fix-man-option-for-make-extra-dist at cmucl / cmucl