Merge branch 'master' of linux

[YACASL2.git] / doc / .gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
index 500b049..ce8835d 100644 (file)
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,5 +1,4 @@
 html
-texobj
-yacasl2.pdf
-yacasl2.dvi
-yacasl2.html
+yacasl2.??
+yacasl2.???
+yacasl2.info