copying static files in html theme
my sphinx installation is part of a CVS repo. An implication of this is that all the directories contain a CVS directory...so when static files are copied to the build directory, this directory comes to.
More exactly, in html.py we have:
if self.theme: themeentries = [path.join(themepath, 'static') for themepath in self.theme.get_dirchain()[::-1]] for entry in themeentries: copy_static_entry(entry, path.join(self.outdir, '_static'), self, self.globalcontext)
and as copy_static_entry has no exclusions, the CVS directory gets copied too.
Perhaps the line above could be changed to:
copy_static_entry(entry, path.join(self.outdir, '_static'), self, self.globalcontext, exclude_matchers=matchers)