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:
$inria_address
and since the variable ($(inria_address)) is defined in the environment file ``env1.ml'', we obtain:
INRIA
Domaine de Voluceau-Rocquencourt
78153 Le Chesnay CEDEX
France