diff options
Diffstat (limited to 'doc/r5rs')
| -rw-r--r-- | doc/r5rs/.cvsignore | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/r5rs/.cvsignore b/doc/r5rs/.cvsignore index 8eaa8267a..407face4c 100644 --- a/doc/r5rs/.cvsignore +++ b/doc/r5rs/.cvsignore @@ -12,6 +12,7 @@ stamp-vti.1 *.tp *.ky *.pg +*.pgs *.cps *.fns *.tps @@ -19,5 +20,3 @@ stamp-vti.1 *.ps *.info* *.html -version.texi -version-tutorial.texi |