(* $Id: banner_mk.env,v 1.1 2007-07-13 12:53:27 fclement Exp $ *)

(* The project Htmlc environment for the generation of banner files. *)

let title = $(full_title_center line_width);;

let team = $(center estime_and_cristal line_width);;

let years = "$(project_first_year)-$(this_year)";;
let copyright_text =
  $(make_copyright_text years project_institution_short_name);;
let copyright = $(flush_left copyright_text line_width);;

let institution = $(flush_left inria line_width);;

let license = $(flush_left license_text line_width);;

let developer =
  "$(flush_left fc line_width)$(ep)\n\
   $(bp)$(flush_left pw line_width)";;