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
val frontend : frontentd_type Stdlib.ref
val sources : bool Stdlib.ref
val with_header : bool Stdlib.ref