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

        Formatter.index_dump(self, index_filename)