[MINOR: added support for '-title' command line option. bisect@x9c.fr**20090502133452] { hunk ./src/report.ml 29 +let title = ref "Bisect report" + hunk ./src/report.ml 46 + ("-title", + Arg.Set_string title, + " Set the title for generated output") ; hunk ./src/report.ml 76 - ReportHTML.output verbose dir !tab_size data + ReportHTML.output verbose dir !tab_size !title data hunk ./src/reportHTML.ml 129 -let output_html_index verbose filename l = +let output_html_index verbose title filename l = hunk ./src/reportHTML.ml 143 - " Bisect report" ; + " $(title)" ; hunk ./src/reportHTML.ml 147 - "

Bisect report

" ; + "

$(title)

" ; hunk ./src/reportHTML.ml 151 - [] + [ "title", title ] hunk ./src/reportHTML.ml 210 -let output_html verbose tab_size in_file out_file visited = +let output_html verbose tab_size title in_file out_file visited = hunk ./src/reportHTML.ml 227 - " Bisect report" ; + " $(title)" ; hunk ./src/reportHTML.ml 234 - [ "in_file", in_file ] + [ "in_file", in_file ; + "title", title ] hunk ./src/reportHTML.ml 292 -let output verbose dir tab_size data = +let output verbose dir tab_size title data = hunk ./src/reportHTML.ml 298 - let stats = output_html verbose tab_size in_file out_file visited in + let stats = output_html verbose tab_size title in_file out_file visited in hunk ./src/reportHTML.ml 302 - output_html_index verbose (Filename.concat dir "index.html") (List.sort compare files); + output_html_index verbose title (Filename.concat dir "index.html") (List.sort compare files); hunk ./src/reportHTML.mli 22 -val output : (string -> unit) -> string -> int -> (string, int array) Hashtbl.t -> unit -(** [output verbose dir tab_size data] writes all the HTML files for [data] - in the directory [dir]. [verbose] is used for verbose output, and - [tab_size] is the number of space character to use as a replacement for - tabulations. *) +val output : (string -> unit) -> string -> int -> string -> (string, int array) Hashtbl.t -> unit +(** [output verbose dir tab_size title data] writes all the HTML files for [data] + in the directory [dir]. [verbose] is used for verbose output, [tab_size] + is the number of space character to use as a replacement for tabulations, + and [title] is the title for generated pages. *) }