(library
 (name belenios_ui)
 (public_name belenios-server.ui)
 (libraries xml-light lwt tyxml belenios)
 (modules_without_implementation mails_admin_sig markup_types))

(ocamllex markup_lexer)

(menhir
 (modules markup_parser))
