summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/adg/.cvsignore3
-rw-r--r--doc/mwg/.cvsignore3
-rw-r--r--doc/sag/.cvsignore3
3 files changed, 9 insertions, 0 deletions
diff --git a/doc/adg/.cvsignore b/doc/adg/.cvsignore
index b1fe2134..d9b71235 100644
--- a/doc/adg/.cvsignore
+++ b/doc/adg/.cvsignore
@@ -2,3 +2,6 @@ Makefile
Makefile.in
*~
html
+*.fo
+*.pdf
+*.txt
diff --git a/doc/mwg/.cvsignore b/doc/mwg/.cvsignore
index b1fe2134..d9b71235 100644
--- a/doc/mwg/.cvsignore
+++ b/doc/mwg/.cvsignore
@@ -2,3 +2,6 @@ Makefile
Makefile.in
*~
html
+*.fo
+*.pdf
+*.txt
diff --git a/doc/sag/.cvsignore b/doc/sag/.cvsignore
index b1fe2134..d9b71235 100644
--- a/doc/sag/.cvsignore
+++ b/doc/sag/.cvsignore
@@ -2,3 +2,6 @@ Makefile
Makefile.in
*~
html
+*.fo
+*.pdf
+*.txt