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):
$inria_addressThe variable (
\$(inria_address)
) is defined in the
environment file ``$(environment_file_name)''.