mirror of
git://git.sv.gnu.org/coreutils.git
synced 2026-02-20 14:22:26 +02:00
* 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.