summaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
Diffstat (limited to 'doc/.gitignore')
-rw-r--r--doc/.gitignore27
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