diff options
Diffstat (limited to 'doc/.gitignore')
-rw-r--r-- | doc/.gitignore | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore new file mode 100644 index 0000000..83b0108 --- /dev/null +++ b/doc/.gitignore @@ -0,0 +1,27 @@ +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 +version.texi +flex.html +flex.t2p |