7
8
pages_to_include = set(('whatsnew/index.html', 'tutorial/index.html', 'using/index.html',
8
9
'reference/index.html', 'library/index.html', 'howto/index.html',
9
10
'extending/index.html', 'c-api/index.html', 'install/index.html',
12
13
def __init__(self, formatter, basedir, fn, indent, parents=set()):
15
16
self.dir, self.fn = os.path.split(fn)