diff options
-rw-r--r-- | .gitignore | 14 | ||||
-rw-r--r-- | doc/.gitignore | 2 |
2 files changed, 2 insertions, 14 deletions
@@ -18,16 +18,6 @@ config.status configure flex-*/ libtool -mkinstalldirs stamp-* -compile -config.guess -config.rpath -config.sub -depcomp -install-sh -ltmain.sh -missing -test-driver -ylwrap -m4 +m4/ +build-aux/ diff --git a/doc/.gitignore b/doc/.gitignore index eb9fdf4..83b0108 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1,5 +1,3 @@ -mdate-sh -texinfo.tex flex.aux flex.cp flex.cps |