(* *********************************************************************)
(*                                                                     *)
(*        Addition to the the Coq2HTML documentation generator         *)
(*                                                                     *)
(*  Copyright National Institute of Advanced Industrial Science and    *)
(*  Technology.  All rights reserved.  This file is distributed        *)
(*  under the terms of the GNU General Public License as published by  *)
(*  the Free Software Foundation, either version 2 of the License, or  *)
(*  (at your option) any later version.                                *)
(*                                                                     *)
(* *********************************************************************)

type range = Range.t

val sanitize_linkname : string -> string

type file_path
val all_files : (string, unit) Hashtbl.t -> file_path list
val sidebar_files : file_path list -> string
val start_html_page : out_channel -> ?repo_file: string -> string -> string
                      -> string -> file_path list -> unit


val end_html_page : out_channel -> unit

val generate : ?repo_root:string -> string -> XrefTable.t
               -> (string, unit) Hashtbl.t -> string
               -> Directory_mappings.t
               -> string -> File_graph.input option -> Index_blacklist.t option -> unit
