diff options
Diffstat (limited to '')
-rw-r--r-- | doc/develenv/.cvsignore | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/doc/develenv/.cvsignore b/doc/develenv/.cvsignore index 53ab3248d9..5b0027bee7 100644 --- a/doc/develenv/.cvsignore +++ b/doc/develenv/.cvsignore @@ -1,17 +1,17 @@ -develenv*.html -Makefile.in Makefile +Makefile.in develenv -develenv.log -develenv.dvi +develenv*.html develenv.aux develenv.cp +develenv.dvi develenv.fn -develenv.vr -develenv.tp develenv.ky +develenv.log +develenv.pdf develenv.pg +develenv.ps develenv.toc +develenv.tp +develenv.vr index.html -develenv.pdf -develenv.ps |