let display_exports_html (pr:string->unit) 
    (cgi:Netcgi1_compat.Netcgi_types.cgi_activation) = 
  if (!export_type = HtmlJscptthen 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