diff options
author | Explorer09 <explorer09@gmail.com> | 2016-10-28 08:37:49 +0800 |
---|---|---|
committer | Will Estes <westes575@gmail.com> | 2016-10-28 19:48:11 -0400 |
commit | c503eaf061145b97dd04af3fd01138e041425317 (patch) | |
tree | 8a77768009d84bb237fea8f8d30fa90a2213278c /doc | |
parent | 92311a56b34363d150ed6badfad3450bcfe09a2f (diff) |
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.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
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 \ |