diff options
| -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 |