import os

import sys

import string

import re

MAGIC = '\\input texinfo'

cmprog = re.compile('^@([a-z]+)([ \t]|$)') # Command (line-oriented)

blprog = re.compile('^[ \t]*$') # Blank line

kwprog = re.compile('@[a-z]+') # Keyword (embedded, usually

# with {} args)

spprog = re.compile('[\n@{}&<>]') # Special characters in

# running text

#

# menu item (Yuck!)

miprog = re.compile('^\* ([^:]*):(:|[ \t]*([^\t,\n.]+)([^ \t\n]*))[ \t\n]*')

class HTMLNode:

self.link(' Top', self.topname)

class HTML3Node(HTMLNode):

self.write(' <HR>\n</DIV>\n')

class TexinfoParser: