comparison: src/eric7/eric7_doc.py
src/eric7/eric7_doc.py
- branch
- eric7
- changeset 9482
- a2bc06a54d9d
- parent 9473
- 3f23dbf37dbe
- child 9576
- be9f8e7e42e0
equal
deleted
inserted
replaced
11 this script that gets called via the source documentation interface. |
11 this script that gets called via the source documentation 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 shutil |
19 import shutil |
19 import sys |
20 import sys |
20 |
21 |
142 |
143 |
143 def main(): |
144 def main(): |
144 """ |
145 """ |
145 Main entry point into the application. |
146 Main entry point into the application. |
146 """ |
147 """ |
147 import getopt |
|
148 |
|
149 try: |
148 try: |
150 opts, args = getopt.getopt( |
149 opts, args = getopt.getopt( |
151 sys.argv[1:], |
150 sys.argv[1:], |
152 "c:ehio:Rrs:t:Vx:", |
151 "c:ehio:Rrs:t:Vx:", |
153 [ |
152 [ |