eric5_doc.py

changeset 3022
57179e4cdadd
parent 2992
dbdf27746da5
child 3034
7ce719013078
child 3058
0a02c433f52d
equal deleted inserted replaced
3021:801289962f4e 3022:57179e4cdadd
138 Main entry point into the application. 138 Main entry point into the application.
139 """ 139 """
140 import getopt 140 import getopt
141 141
142 try: 142 try:
143 opts, args = getopt.getopt(sys.argv[1:], "c:ehio:Rrt:Vx:", 143 opts, args = getopt.getopt(
144 sys.argv[1:], "c:ehio:Rrt:Vx:",
144 ["exclude=", "extension=", "help", "noindex", "noempty", "outdir=", 145 ["exclude=", "extension=", "help", "noindex", "noempty", "outdir=",
145 "recursive", "style-sheet=", "version", 146 "recursive", "style-sheet=", "version",
146 "exclude-file=", "eol=", 147 "exclude-file=", "eol=",
147 "body-color=", "body-background-color=", 148 "body-color=", "body-background-color=",
148 "l1header-color=", "l1header-background-color=", 149 "l1header-color=", "l1header-background-color=",

eric ide

mercurial