[gtk-doc] mkdb: use integer division

[Stefan Sauer <stefkost src gnome org>]

commit 357ff8926c0a0cf82bdefbe37b76c02081190c46
Author: Stefan Sauer <ensonic users sf net>
Date:   Sun May 28 22:26:04 2017 +0200

    mkdb: use integer division
    
    Fixes compat with python 3.
    See #783178

 gtkdoc/mkdb.py |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/gtkdoc/mkdb.py b/gtkdoc/mkdb.py
index e22b6fa..379624d 100644
--- a/gtkdoc/mkdb.py
+++ b/gtkdoc/mkdb.py
@@ -4461,7 +4461,7 @@ def ReadObjectHierarchy(ifile):
             continue
 
         gobject = m1.group(0)
-        level = len(line[:m1.start()]) / 2 + 1
+        level = len(line[:m1.start()]) // 2 + 1
 
         if level == 1:
             root = gobject