diff options
Diffstat (limited to 'doc/.gitignore')
-rw-r--r-- | doc/.gitignore | 41 |
1 files changed, 19 insertions, 22 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index c74bc7b..1568b38 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1,29 +1,26 @@ -*.aux -*.cp -*.cps -*.dvi -*.fn -*.fns -*.hk -*.hks -*.info* -*.ky -*.log -*.op -*.ops -*.pg -*.toc -*.tp -*.tps -*.vr -*.vrs +flex.aux +flex.cp +flex.cps +flex.dvi +flex.fn +flex.fns +flex.hk +flex.hks +flex.info* +flex.ky +flex.log +flex.op +flex.ops +flex.pg +flex.toc +flex.tp +flex.tps +flex.vr +flex.vrs Makefile Makefile.in flex.1 flex.pdf flex.ps -mdate-sh -stamp-* version.texi flex.html -texinfo.tex |