summaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
Diffstat (limited to 'doc/.gitignore')
-rw-r--r--doc/.gitignore27
1 files changed, 0 insertions, 27 deletions
diff --git a/doc/.gitignore b/doc/.gitignore
deleted file mode 100644
index 83b0108..0000000
--- a/doc/.gitignore
+++ /dev/null
@@ -1,27 +0,0 @@
-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