diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/adg/.cvsignore | 3 | ||||
-rw-r--r-- | doc/mwg/.cvsignore | 3 | ||||
-rw-r--r-- | doc/sag/.cvsignore | 3 |
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 |