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