diff options
author | Will Estes <wlestes@users.sourceforge.net> | 2003-03-26 19:04:07 +0000 |
---|---|---|
committer | Will Estes <wlestes@users.sourceforge.net> | 2003-03-26 19:04:07 +0000 |
commit | 1f8292657801baeaf4fc6a6258425195f15f411d (patch) | |
tree | 7f97326f6d672696b472d4f203fd27a586a2a968 | |
parent | b34fc158600d85e706b614167c4c95c19c653c73 (diff) |
clean up flex.texi processing leftovers with cleanfiles
-rw-r--r-- | doc/Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 5d25365..f1a6084 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -4,7 +4,9 @@ info_TEXINFOS = flex.texi man_MANS = flex.1 MAINTAINERCLEANFILES = \ - flex.1 \ + flex.1 + +CLEANFILES = \ flex.hks \ flex.ops |