diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/_ext/px_xlator.py | 3 | ||||
| -rw-r--r-- | doc/conf.py | 4 |
2 files changed, 4 insertions, 3 deletions
diff --git a/doc/_ext/px_xlator.py b/doc/_ext/px_xlator.py index 439926c..dc61a3c 100644 --- a/doc/_ext/px_xlator.py +++ b/doc/_ext/px_xlator.py @@ -1,6 +1,7 @@ from docutils import nodes
from sphinx.writers.html import SmartyPantsHTMLTranslator
from sphinx.builders.html import StandaloneHTMLBuilder
+import os
def setup(app):
app.add_builder(PxBuilder)
@@ -81,7 +82,7 @@ class PxBuilder(StandaloneHTMLBuilder): self.out_suffix = '.px'
self.link_suffix = '.html'
- self.px_uri = "/code/coverage/"
+ self.px_uri = os.environ.get("COVERAGE_DOC_ROOT") or "/code/coverage/"
def get_target_uri(self, docname, typ=None):
return self.px_uri + docname + self.link_suffix
diff --git a/doc/conf.py b/doc/conf.py index 9c39b85..e8726bd 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -47,9 +47,9 @@ copyright = u'2009-2010, Ned Batchelder' # built documents.
#
# The short X.Y version.
-version = '3.3.1'
+version = '3.4'
# The full version, including alpha/beta/rc tags.
-release = '3.3.1'
+release = '3.4 beta'
# The language for content autogenerated by Sphinx. Refer to documentation
# for a list of supported languages.
|