diff options
author | Will Estes <westes575@gmail.com> | 2016-03-31 18:46:23 -0400 |
---|---|---|
committer | Will Estes <westes575@gmail.com> | 2016-03-31 18:46:23 -0400 |
commit | 84ca965d1feec3b60df9fdce4aadb5bb2c1df341 (patch) | |
tree | 844fb2b9882216dedcf2177170f0baf472897259 /doc | |
parent | 9f2343bf65ffa347fed5566bce76ab03dac25c19 (diff) |
build: added man page to DISTCLEANFILES
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index a9b0582..67728e6 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -2,6 +2,7 @@ help2man = @HELP2MAN@ info_TEXINFOS = flex.texi dist_man_MANS = flex.1 +DISTCLEANFILES = flex.1 CLEANFILES = \ flex.aux \ |