In this included file, we also have some variables to be expansed,
as <$HOME>
(bound in the Unix environment) or the INRIA's Rocquencourt
campus adress (bound in the Htmlc expansion environment). We write:
and since the variable ($inria_address
$(inria_address)
) is defined in the
environment file ``env1.ml'', we obtain:
INRIA
Domaine de Voluceau-Rocquencourt
78153 Le Chesnay CEDEX
France