Consider micro version for name of CHM file.

diff --git a/Tools/msi/msi.py b/Tools/msi/msi.py
index 2d88e42c1415889639c45f8675f38f427bf05b40..4f750e67a430cafde41dbc62b8353442889889be 100644 (file)
--- a/Tools/msi/msi.py
+++ b/Tools/msi/msi.py
@@ -116,6 +116,8 @@ pythondll_uuid = {
 
 # Compute the name that Sphinx gives to the docfile
 docfile = ""
+if micro:
+    docfile = str(micro)
 if level < 0xf:
     docfile = '%x%s' % (level, serial)
 docfile = 'python%s%s%s.chm' % (major, minor, docfile)