Switch from man_MANS to dist_man_MANS so gnome-shell.1 is distributed.
https://bugzilla.gnome.org/show_bug.cgi?id=605249