(***********************************************************************)
(*                                                                     *)
(*                           Htmlc                                     *)
(*                                                                     *)
(*                    Pierre Weis, INRIA Rocquencourt                  *)
(*                                                                     *)
(*  Copyright 2009,                                                    *)
(*  Institut National de Recherche en Informatique et en Automatique.  *)
(*  Distributed only by permission.                                    *)
(*                                                                     *)
(***********************************************************************)

(* \$Id: env,v 1.19 2012-03-25 00:48:41 weis Exp $ *)

(* The environment for htmlc to produce the files and documentation for
   $(PACKAGE).
   Warning: we generate htmlc source files using htmlc... *)

let package_main_version = "2";;
let package_sub_version = "4";;
let package_patch_version = "0";;
let package_devel_version = "1";;
let package_version_message =
  "\\\\# New SSI directive include cat."
;;

let package_name = "htmlc";;
let package_first_year = "1997";;
let package_man_ext = "1";;

(* The following is computed. *)
let package_version = "$(package_main_version).$(package_sub_version)";;
let package_full_version = "$(package_version).$(package_patch_version)";;
let package_version_date = "$(the_iso_date)";;
