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