diff options
Diffstat (limited to 'Tools/msi/msi.py')
| -rw-r--r-- | Tools/msi/msi.py | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/Tools/msi/msi.py b/Tools/msi/msi.py index ce67978f50..695a103380 100644 --- 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,) |