Correctly determine dev version for doc building.

doc/gh-pages.py

@@ -86,13 +86,14 @@ if __name__ == '__main__':
         if l.startswith('VERSION'):
             tag = l.split("'")[1]
 
-            # Rename to, e.g., 0.9.x
-            tag = '.'.join(tag.split('.')[:-1] + ['x'])
+            if "dev" in tag:
+                tag = "dev"
+            else:
+                # Rename e.g. 0.9.0 to 0.9.x
+                tag = '.'.join(tag.split('.')[:-1] + ['x'])
 
             break
 
-    if "dev" in tag:
-        tag = "dev"
 
     startdir = os.getcwd()
     if not os.path.exists(pages_dir):