Eliom_tools(3) Record an (external) JavaScript file to be included in Eliom_tools.F.html.

Module

Module Eliom_tools

Documentation

Module Eliom_tools
 :  sig end

Record an (external) JavaScript file to be included in Eliom_tools.F.html .

val with_js_file : string list -> unit

val with_css_file : string list -> unit

Record an CSS file to be included in Eliom_tools.F.html .