add flex man page to distribution

diff --git a/doc/Makefile.am b/doc/Makefile.am
index f1a60847c01f9b503018fa33d80c847f433b6cb3..1dd212023cc3587cacc3d366eb516cf8d53bb41d 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -1,7 +1,7 @@
 help2man = @HELP2MAN@
 
 info_TEXINFOS =        flex.texi
-man_MANS = flex.1
+dist_man_MANS = flex.1
 
 MAINTAINERCLEANFILES = \
        flex.1