From 7f1d93a3e7906bb321386ddd2b564c9f8021936c Mon Sep 17 00:00:00 2001
From: Robin Dunn <robin@alldunn.com>
Date: Fri, 21 Apr 2017 17:19:55 -0700
Subject: [PATCH] Fix wxWidgets docset version number

---
 build.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.py b/build.py
index 67ef018c..1f579079 100755
--- a/build.py
+++ b/build.py
@@ -841,7 +841,7 @@ def cmd_docset_wx(options, args):
 
     # Remove any existing docset in the dist dir and move the new docset in
     srcname = posixjoin(wxDir(), 'docs/doxygen/out/docset',
-                        'wxWidgets-%s.docset' % cfg.VERSION[:3])
+                        'wxWidgets-%s.docset' % wxversion2)
     destname = 'dist/wxWidgets-%s.docset' % wxversion3
     if not os.path.isdir(srcname):
         msg('ERROR: %s not found' % srcname)