diff options
| -rw-r--r-- | doc/.cvsignore | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/doc/.cvsignore b/doc/.cvsignore index 6a126a00..c667379c 100644 --- a/doc/.cvsignore +++ b/doc/.cvsignore @@ -18,10 +18,8 @@ ProofGeneral.fns ProofGeneral.vrs ProofGeneral.info-* ProofGeneral.txt -ProofGeneral_*.html -ProofGeneral_toc.html -ProofGeneral_foot.html -PG-adapting.log +ProofGeneral +PG-adapting PG-adapting.dvi PG-adapting.ps PG-adapting.pdf |