mirror of
https://github.com/westes/flex.git
synced 2026-01-27 01:44:23 +00:00
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.
This commit is contained in:
parent
92311a56b3
commit
c503eaf061
@ -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 \
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user