Module Digodoc_common.Globals

val digodoc_dir : string
val digodoc_html_dir : string
val htmlize_sources_dir : string
val db_update_index : bool Stdlib.ref
type frontentd_type =
| JS
| JS_API
| JS_OCAML
val frontend : frontentd_type Stdlib.ref
val sources : bool Stdlib.ref
val with_header : bool Stdlib.ref