diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/.cvsignore | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/doc/.cvsignore b/doc/.cvsignore index 3e902e63..4b3b22ab 100644 --- a/doc/.cvsignore +++ b/doc/.cvsignore @@ -11,4 +11,18 @@ ProofGeneral.toc ProofGeneral.info ProofGeneral.cps ProofGeneral.fns -ProofGeneral.vrs
\ No newline at end of file +ProofGeneral.vrs +NewDoc.log +NewDoc.dvi +NewDoc.aux +NewDoc.cp +NewDoc.fn +NewDoc.vr +NewDoc.tp +NewDoc.ky +NewDoc.pg +NewDoc.toc +NewDoc.info +NewDoc.cps +NewDoc.fns +NewDoc.vrs |