Explorer09 c503eaf061 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.

2016-10-28 19:48:11 -04:00

..

.gitignore

Ignore directories build-aux/, m4/

2014-11-14 08:41:37 -05:00

flex.texi

Update flex.texi: Removed repedative wording

2016-10-21 20:42:36 -07:00

Makefile.am

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

2016-10-28 19:48:11 -04:00