def toc_dump(self, toc_filename=None, index_filename=None): if toc_filename == None: toc_filename = self.file_prefix + "toc.md" if index_filename == None: index_filename = self.file_prefix + "index.md" Formatter.toc_dump(self, toc_filename, index_filename)