diff options
| author | David Aspinall | 1998-11-18 13:47:04 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-18 13:47:04 +0000 |
| commit | a64465fd86a5c9ee5e684835c7c38b400f11c72d (patch) | |
| tree | 5675cf4a5fc3db5f656c32f5f7c43c166b2c2f8f | |
| parent | 2fc559b578674641940c037de958617b778e3026 (diff) | |
A few more
| -rw-r--r-- | doc/.cvsignore | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/.cvsignore b/doc/.cvsignore index 4b3b22ab..961dd664 100644 --- a/doc/.cvsignore +++ b/doc/.cvsignore @@ -1,5 +1,7 @@ ProofGeneral.log ProofGeneral.dvi +ProofGeneral.ps +ProofGeneral.kys ProofGeneral.aux ProofGeneral.cp ProofGeneral.fn @@ -26,3 +28,6 @@ NewDoc.info NewDoc.cps NewDoc.fns NewDoc.vrs +NewDoc.ps +NewDoc.kys + |