diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/.cvsignore | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/.cvsignore b/doc/.cvsignore index 5966f115..2c915f37 100644 --- a/doc/.cvsignore +++ b/doc/.cvsignore @@ -16,8 +16,9 @@ ProofGeneral.cps ProofGeneral.fns ProofGeneral.vrs ProofGeneral.info-* -ProofGeneral.eps ProofGeneral.txt ProofGeneral_*.html ProofGeneral_toc.html ProofGeneral_foot.html +ProofGeneralPortrait.eps +ProofGeneralPortrait.pdf |