diff options
| author | gbrandl <gbrandl@929543f6-e4f2-0310-98a6-ba3bd3dd1d04> | 2007-07-08 08:25:53 +0000 |
|---|---|---|
| committer | gbrandl <gbrandl@929543f6-e4f2-0310-98a6-ba3bd3dd1d04> | 2007-07-08 08:25:53 +0000 |
| commit | 3deba3642633100392da68c4d9df8f92e09095bf (patch) | |
| tree | 8cca78cdf4e86cf958ad35a2ab50350038353a89 /sandbox/py-rest-doc/sphinx/builder.py | |
| parent | ef66fdd7dd1b83397cf9c09b2fec678c3cac3140 (diff) | |
| download | docutils-3deba3642633100392da68c4d9df8f92e09095bf.tar.gz | |
Add a patch mailing facility.
git-svn-id: http://svn.code.sf.net/p/docutils/code/trunk@5326 929543f6-e4f2-0310-98a6-ba3bd3dd1d04
Diffstat (limited to 'sandbox/py-rest-doc/sphinx/builder.py')
| -rw-r--r-- | sandbox/py-rest-doc/sphinx/builder.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/sandbox/py-rest-doc/sphinx/builder.py b/sandbox/py-rest-doc/sphinx/builder.py index ff5f54c4c..9c36be3d9 100644 --- a/sandbox/py-rest-doc/sphinx/builder.py +++ b/sandbox/py-rest-doc/sphinx/builder.py @@ -209,6 +209,7 @@ class Builder(object): for filename in filenames: for tocfilename in self.env.files_to_rebuild.get(filename, []): filenames_set.add(tocfilename) + filenames_set.add('contents.rst') else: # build all filenames_set = set(self.env.all_files) @@ -538,6 +539,10 @@ class WebHTMLBuilder(StandaloneHTMLBuilder): # touch 'last build' file, used by the web application to determine # when to reload its environment and clear the cache open(path.join(self.outdir, LAST_BUILD_FILENAME), 'w').close() + # copy configuration file if not present + if not path.isfile(path.join(self.outdir, 'webconf.py')): + shutil.copyfile(path.join(path.dirname(__file__), 'web', 'webconf.py'), + path.join(self.outdir, 'webconf.py')) class HTMLHelpBuilder(StandaloneHTMLBuilder): |