Module Dynamic_plugins.Print_api

module Print_api: sig .. end

val run : string -> unit

Create a .mli file used by 'make doc' to generate the html documentation of dynamic plug-ins.It takes the path where to create this file as an argument.