From bba66db9c2c30076ce58ecff246075ffd658c146 Mon Sep 17 00:00:00 2001
From: Stefan van der Walt <stefan@sun.ac.za>
Date: Mon, 14 Oct 2013 14:02:28 +0200
Subject: [PATCH] Provide stable doc version by naming docs directory 0.9.x,
 e.g.

---
 doc/gh-pages.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/gh-pages.py b/doc/gh-pages.py
index dd798c02..af992158 100644
--- a/doc/gh-pages.py
+++ b/doc/gh-pages.py
@@ -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: