mirror of
git://git.sv.gnu.org/coreutils
synced 2026-05-22 08:22:04 -04:00
8b139ff78c
* man/Makefile.am (dist_man_MANS): Replace all optional manpages with `$(MAN)', computed at configure time; also, list them ... (optional_mans): ... in this new variable. (max_aux, EXTRA_DIST): Ensure that we distribute all manpages.