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

# $Id: htmlc_spec,v 1.2 2009-09-12 19:54:25 weis Exp $

At least a specification attempt!

Include directive:
==================

Syntax:

include expression

- include is written at the beginning of a line
- expression est interprte pour trouver le nom du fichier
- dans la sortie on trouve en option verbose
  #(include "le nom du fichier"
  sinon rien
- le fichier est inclus verbatim, sauf si on est en mode ``makefile''
  o le fichier est inclus lui aussi en mode ``makefile''
-  la fin de l'inclusion on trouve en option verbose
  #include "le nom du fichier")
  sinon rien

En mode makefile, les liaisons en mode ``fin de ligne'' sont comprises et
interprtes (entres dans l'environnement de HTMLC):

- var = expression
- dans la sortie on trouve
  var = expression calcule

Si expression n'est pas une expression HTMLC alors:
- on choue, sauf si l'option -force est active et dans ce cas
  on met un warning, sauf si l'option -quiet est active.
- la sortie contient exactement le mme texte que l'entre.

Options:
- no_ssi (default is false, SSI are evaluated)
- no_include (default is false, include are honored)
- no_make_bindings (default is true make bindings are not executed)
- make_mode (default is false,
   make_mode true means:
    no_ssi is true, ssi are ignored,
    no_include is false, include are honored,
    no_make_bindings is false, make bindings are understood)
