From 73bf7b16e90d2476529d7442a508b2b80abeef04 Mon Sep 17 00:00:00 2001 From: "Salvador E. Tropea" Date: Tue, 29 Aug 2023 10:22:33 -0300 Subject: [PATCH] [DOCs][RTD] Trying to generate dev/master docs --- docs/source/conf.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/docs/source/conf.py b/docs/source/conf.py index c190b47d..239abb4f 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -72,6 +72,9 @@ html_show_sourcelink = False import subprocess branch = subprocess.check_output(['git', 'rev-parse', '--abbrev-ref', 'HEAD']).decode().strip() +if branch == 'HEAD': + ver = os.environ.get('READTHEDOCS_VERSION', 'latest') + branch = 'dev' if ver == 'latest' else 'master' if branch != "master": doc_id = ("**This is the documentation for the current development KiBot, not yet released. "