# Try to colorize, even if programs are non valid
toolcontext.keep_going = true
# Try to colorize, even if programs are non valid
toolcontext.keep_going = true
var v = new HighlightVisitor
var prefix = opt_line_id_prefix.value
if prefix != null then
v.line_id_prefix = prefix.trim
end
var v = new HighlightVisitor
var prefix = opt_line_id_prefix.value
if prefix != null then
v.line_id_prefix = prefix.trim
end
if opt_first_line.value != 0 then v.first_line = opt_first_line.value
if opt_last_line.value != 0 then v.last_line = opt_last_line.value
if opt_first_line.value != 0 then v.first_line = opt_first_line.value
if opt_last_line.value != 0 then v.last_line = opt_last_line.value
end
page.add_raw_html "</li></body>"
page.write_to_file("{dir}/index.html")
var v = new HighlightVisitor
toolcontext.info("write {dir}/style.css", 1)
end
page.add_raw_html "</li></body>"
page.write_to_file("{dir}/index.html")
var v = new HighlightVisitor
toolcontext.info("write {dir}/style.css", 1)