diff options
| author | David Aspinall | 1999-11-19 19:22:05 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-19 19:22:05 +0000 |
| commit | ec3de09bdb3b3ddb6504232609a4a7b8c46cce78 (patch) | |
| tree | f831f8882f39a2391ba622c2f04a6c9bd010486c /doc | |
| parent | ed3bce30acd5015ef3f338448f43f86092619a26 (diff) | |
Updated
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 |