def endModule(self, name, doc, imported): if self.hasDisplayedModule: HtmlDocBuilder0.endModule(self, name, doc, imported)