Merge pull request #781 from stefanv/gh_stable_doc_versions

WIP: Provide stable doc version by naming docs directory 0.9.x, e.g.
2026-07-13 17:45:20 +08:00 · 2013-10-14 07:52:53 -07:00
parent 5a0878da91 bba66db9c2
commit 853e67308b
1 changed files with 4 additions and 0 deletions
@@ -85,6 +85,10 @@ if __name__ == '__main__':
    for l in setup_lines:
        if l.startswith('VERSION'):
            tag = l.split("'")[1]
+
+            # Rename to, e.g., 0.9.x
+            tag = '.'.join(tag.split('.')[:-1] + ['x'])
+
            break

    if "dev" in tag: