I have a home-grown automated build script in the form of a DOS batch file. In part of that script, I check out (with \"svn checkout\") a section of our SVN repository that
This is possible: you can svn checkout an empty directory, and then svn update filename for each file that you do want.
Your script can do something like:
svn checkout svn://path/to/repos/directory --depth emptysvn list --recursive svn://path/to/repos/directorygrepsvn update --parents each fileThat would give your desired result of a working copy without certain files or file extensions.
Of course, there is also the issue that you mention of “people [checking] in lots of fluff” but that’s a separate matter.