From c503eaf061145b97dd04af3fd01138e041425317 Mon Sep 17 00:00:00 2001
From: Explorer09 <explorer09@gmail.com>
Date: Fri, 28 Oct 2016 08:37:49 +0800
Subject: [PATCH] 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.
---
 doc/Makefile.am | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 7ad39c7..930d7ed 100644
--- 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 \
-- 
2.50.0