diff --git a/docs/apibuild.py b/docs/apibuild.py index 05c2c8b754..3f0ecd939d 100755 --- a/docs/apibuild.py +++ b/docs/apibuild.py @@ -1961,6 +1961,11 @@ class docBuilder: self.index = {} self.basename = name + def warning(self, msg): + global warnings + warnings = warnings + 1 + print msg + def indexString(self, id, str): if str == None: return