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