let display_exports_html (pr:string->unit)
(cgi:Netcgi1_compat.Netcgi_types.cgi_activation) =
if (!export_type = HtmlJscpt) then begin
pr "<hr/>\n";
let current_url = cgi # url ~with_query_string:`Current ~with_path_info:`None () in
let html_url = url_change_arg "export" "html" current_url in
let xml_url = url_change_arg "export" "xml" current_url in
let text_url = url_change_arg "export" "text" current_url in
let tex_url = url_change_arg "export" "tex" current_url in
let ps_url = url_change_arg "export" "ps" current_url in
pr (Printf.sprintf "<a href='%s'>HTML</a> / \n" html_url);
pr (Printf.sprintf "<a href='%s'>XML</a> / \n" xml_url);
pr (Printf.sprintf "<a href='%s'>Text</a> / \n" text_url);
pr (Printf.sprintf "<a href='%s'>LaTeX</a> / \n" tex_url);
pr (Printf.sprintf "<a href='%s'>PS</a>\n" ps_url);
end