Make it possible to have beta docs in a different place than the real docs

1 files changed, 2 insertions, 1 deletions

diff --git a/doc/_ext/px_xlator.py b/doc/_ext/px_xlator.py
index 439926c0..dc61a3c2 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