diff options
-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 |