136
134
'-e', '--engine', dest='engine', default='js', action='store',
137
135
help=('Javascript engine to use. Defaults to "js" (SpiderMonkey). '
138
136
'Use "rhino" to use the Java-based Rhino engine'))
140
'-i', '--include-html', dest='html', default=False,
143
138
options, args = parser.parse_args()