diff options
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 0058e25..0e23dca 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -5,8 +5,23 @@ dist_man_MANS = flex.1 dist_doc_DATA= flex.pdf CLEANFILES = \ + flex.aux \ + flex.cp \ + flex.cps \ + flex.fn \ + flex.fns \ + flex.hk \ flex.hks \ - flex.ops + flex.ky \ + flex.log \ + flex.op \ + flex.ops \ + flex.pg \ + flex.toc \ + flex.tp \ + flex.tps \ + flex.vr \ + flex.vrs $(dist_man_MANS): $(top_srcdir)/main.c for i in $(dist_man_MANS) ; do \ |