doc: meta tag to redirect to new documentation URL

This commit is contained in:
Alexander Graf
2018-03-24 11:32:53 +01:00
parent 6764cd961f
commit 4a944fbbdb
2 changed files with 4 additions and 1 deletions

View File

@@ -361,4 +361,4 @@ texinfo_documents = [
current_release = subprocess.check_output(["git", "describe", "--abbrev=0"]).decode("ascii")[1:-1]
current_release_date = subprocess.check_output(["git", "log", "-1", "--tags", "--format=%ad", "--date=format:%e %b %Y"]).decode("ascii")[:-1]
html_context = {'current_release': current_release, 'current_release_date': current_release_date}
html_context = {'current_release': current_release, 'current_release_date': current_release_date, 'READTHEDOCS': bool(os.environ.get('READTHEDOCS'))}