Update .gitignore.

diff --git a/.gitignore b/.gitignore
index 15405af88984e927f14fee108d2d6dac16d36bb0..0a2391dc31b14af498d6f2c7436a49ad6b1da014 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -32,6 +32,8 @@
 /pc/
 /svm/
 /svm1/
+/ubuntu-*/
+/ubuntu/
 TAGS
 changelog.txt
 doc/*/*.aux
@@ -52,6 +54,7 @@ doc/*/*.pg
 doc/*/*.ps
 doc/*/*.toc
 doc/*/*.tp
+doc/*/*.tps
 doc/*/*.vr
 doc/*/*.vrs
 doc/Makefile