Include micro version even if it is 0.

diff --git a/Tools/msi/msi.py b/Tools/msi/msi.py
index ce67978f505b7a91fa372a7bc710735ba6f2f69d..695a103380d1cb5e70b268e49bcc4e4b61a5e376 100644 (file)
--- a/Tools/msi/msi.py
+++ b/Tools/msi/msi.py
@@ -122,9 +122,7 @@ pythondll_uuid = {
     } [major+minor]
 
 # Compute the name that Sphinx gives to the docfile
-docfile = ""
-if int(micro):
-    docfile = micro
+docfile = micro
 if level < 0xf:
     if level == 0xC:
         docfile += "rc%s" % (serial,)