diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-11-26 20:43:10 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-26 20:43:10 +0000 |
| commit | 01b2aab0c63b451dc6c488ae4eb666c70acb55eb (patch) | |
| tree | 0b5656ac272e14aece8952d3bca7ba2b46629d3a /doc/.cvsignore | |
| parent | c7b4b7285cbf75c1c77a07436e14a04efe9c157a (diff) | |
Added HTML files.
Diffstat (limited to 'doc/.cvsignore')
| -rw-r--r-- | doc/.cvsignore | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/doc/.cvsignore b/doc/.cvsignore index 145b4f15..b21fadf4 100644 --- a/doc/.cvsignore +++ b/doc/.cvsignore @@ -15,8 +15,6 @@ ProofGeneral.cps ProofGeneral.fns ProofGeneral.vrs ProofGeneral.info-* - - - - - +ProofGeneral.html +ProofGeneral_toc.html +ProofGeneral_foot.html |