Fix wiki page path string generation `push_wiki_page`.

The argument `version` is an integer; this is now converted to a
string when generating the wiki page path string.

* gd_diff.py (push_wiki_page): Update function.

1 files changed, 1 insertions, 1 deletions

diff --git a/gd_diff.py b/gd_diff.py
index 6f3c0e3..2e0aed9 100644
--- a/gd_diff.py
+++ b/gd_diff.py
@@ -459,7 +459,7 @@ def push_wiki_page(url, user, passwd, version, content):
             print('wiki page not updated.')
 
 
-    page = '/'.join(['Documentation', version, 'DifferencesWithDebian'])
+    page = '/'.join(['Documentation', str(version), 'DifferencesWithDebian'])
     mc = get_wiki_mc(url, user, passwd)
     mc.putPage(page, content)