doc: Don't delete flex.1 during "make distclean".

flex.1 is pre-generated in release tarball. If we delete it, the next
"configure and make" on the source directory will then require help2man
unnecessarily.

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 7ad39c7f63a008c378e1409308c4c36c8b42f557..930d7ed015ea1fb543c2d2c6d97a2a65a0e4f62d 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -4,7 +4,7 @@ FLEX = $(top_builddir)/src/flex$(EXEEXT)
 
 info_TEXINFOS =        flex.texi
 dist_man_MANS = flex.1
-DISTCLEANFILES = flex.1
+MAINTAINERCLEANFILES = flex.1
 
 CLEANFILES = \
        flex.aux \