Method write

tools/python-3.11.9-amd64/Tools/scripts/texi2html.py:116–118

(self, *lines)

        self.lines = []

    def write(self, *lines):
        for line in lines:
            self.lines.append(line)

    def flush(self):
        with open(self.dirname + '/' + makefile(self.name), 'w') as fp: