Revert recent man/Makefile.am change.

Revert 4b544e447eb78fd1f031a026a499f6aed177808a.
* man/Makefile.am: That change was only a band-aid.  It solved
the stated problem, but not a deeper one: that "make install"
would no longer man pages.  Reported by Dmitry V. Levin.
The latter problem arose in
167b8025aca487de001da2448c1aebc2747bc1d3 with the removal of
the sole literal from the definition of dist_man_MANS.  When
automake perceives dist_man_MANS as empty, it no longer emits
the install-man* rules.

diff --git a/man/Makefile.am b/man/Makefile.am
index c4da8f703d8e50e6e2ff899fff3fc711e81c1d4c..9076afcb0c73573f3ca172fdebc50b4b2af581e1 100644 (file)
--- a/man/Makefile.am
+++ b/man/Makefile.am
@@ -16,7 +16,6 @@
 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
 dist_man_MANS = $(MAN)
-BUILT_SOURCES = $(MAN)
 
 man_aux = $(dist_man_MANS:.1=.x)