summaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorThomas Schwinge <thomas@schwinge.name>2011-09-06 13:12:50 +0200
committerThomas Schwinge <thomas@schwinge.name>2011-09-06 13:12:50 +0200
commit3f5fd3de61dbca8c4b081acc6ffc36ab59486a2c (patch)
tree7aab91fbf1e6847f673b239ba15cd427e468b98d /doc/.gitignore
parent8c06145f67e2067e49d10f9d4f8d16b383d3d5da (diff)
* .gitignore: Tighten some rules, and distribute others to...
* doc/.gitignore: ... here; * i386/i386/.gitignore: ... here; * tests/.gitignore: ..., and here.
Diffstat (limited to 'doc/.gitignore')
-rw-r--r--doc/.gitignore4
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore
new file mode 100644
index 0000000..829355b
--- /dev/null
+++ b/doc/.gitignore
@@ -0,0 +1,4 @@
+/*.info
+/*.info-*
+/stamp-vti
+/version.texi