8206:adf11836cfce | 8207:d359172d11be |
---|---|
12 import os | 12 import os |
13 | 13 |
14 from Utilities import joinext | 14 from Utilities import joinext |
15 | 15 |
16 | 16 |
17 class IndexGenerator(object): | 17 class IndexGenerator: |
18 """ | 18 """ |
19 Class implementing the index generator for the builtin documentation | 19 Class implementing the index generator for the builtin documentation |
20 generator. | 20 generator. |
21 """ | 21 """ |
22 def __init__(self, outputDir, colors, stylesheet=None): | 22 def __init__(self, outputDir, colors, stylesheet=None): |