copying static files in html theme

therblack avatartherblack created an issue

Hi,

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)

thanks

Comments (4)

  1. therblack

    Yes I did, but it didn't seem to work. As noted above, the part where the static files [from the sphinx source directories] are copied does not exclude files based on these config files. My suggestion is that they should

  2. Log in to comment
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.