eric6/DocumentationTools/IndexGenerator.py

changeset 7780
41420f82c0ac
parent 7360
9190402e4505
child 7785
9978016560ec
equal deleted inserted replaced
7779:757334671130 7780:41420f82c0ac
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

eric ide

mercurial