9481:0b936ff1bbb9 | 9482:a2bc06a54d9d |
---|---|
11 this script that gets called via the API generation interface. | 11 this script that gets called via the API generation interface. |
12 This script can be used via the commandline as well. | 12 This script can be used via the commandline as well. |
13 """ | 13 """ |
14 | 14 |
15 import fnmatch | 15 import fnmatch |
16 import getopt | |
16 import glob | 17 import glob |
17 import os | 18 import os |
18 import sys | 19 import sys |
19 | 20 |
20 from eric7 import DocumentationTools, Utilities | 21 from eric7 import DocumentationTools, Utilities |
107 """ | 108 """ |
108 Main entry point into the application. | 109 Main entry point into the application. |
109 """ | 110 """ |
110 global supportedExtensions | 111 global supportedExtensions |
111 | 112 |
112 import getopt | |
113 | |
114 try: | 113 try: |
115 opts, args = getopt.getopt( | 114 opts, args = getopt.getopt( |
116 sys.argv[1:], | 115 sys.argv[1:], |
117 "b:e:hil:o:pRrt:Vx:", | 116 "b:e:hil:o:pRrt:Vx:", |
118 [ | 117 [ |