comparison: eric6/DocumentationTools/IndexGenerator.py
eric6/DocumentationTools/IndexGenerator.py
- changeset 7780
- 41420f82c0ac
- parent 7360
- 9190402e4505
- child 7785
- 9978016560ec
equal
deleted
inserted
replaced
5 |
5 |
6 """ |
6 """ |
7 Module implementing the index generator for the builtin documentation |
7 Module implementing the index generator for the builtin documentation |
8 generator. |
8 generator. |
9 """ |
9 """ |
10 |
|
11 |
10 |
12 import sys |
11 import sys |
13 import os |
12 import os |
14 |
13 |
15 from Utilities import joinext |
14 from Utilities import joinext |