Improved 'make repos'

git-svn-id: svn://svn.r-forge.r-project.org/svnroot/r-dots@2136 edb9625f-4e0d-4859-8d74-9fd3b1da38cb
'make repos'

git-svn-id: svn://svn.r-forge.r-project.org/svnroot/r-dots@2137 edb9625f-4e0d-4859-8d74-9fd3b1da38cb
git-svn-id: svn://svn.r-forge.r-project.org/svnroot/r-dots@2138 edb9625f-4e0d-4859-8d74-9fd3b1da38cb