Add .gitignore files.

[ginac.git] / doc / tutorial / .gitignore

diff --git a/doc/tutorial/.gitignore b/doc/tutorial/.gitignore
new file mode 100644 (file)
index 0000000..5556e56
--- /dev/null
+++ b/doc/tutorial/.gitignore
@@ -0,0 +1,3 @@
+*.info
+stamp-vti
+version.texi