{!-- ---------------------------------------------------- --}
{!--                                                      --}
{!--   THIS IS THE HTEX CONFIGURATION FILE FOR THE AI LAB --}
{!--                                                      --}
{!-- DO NOT EDIT UNLESS YOU'RE SURE OF WHAT YOU'RE DOING! --}
{!--                                                      --}
{!-- see Jeremy De Bonet (jsd\@ai.mit.edu) for more info  --}
{!--                                                      --}
{!-- ---------------------------------------------------- --}

{!-- ----configuration---------- --}

{DEF WEB_PATH /com/web/docs/lab/olympics/97/}
{DEF WEB_URL http://www.ai.mit.edu/lab/olympics/97/}
{DEF BIN_PATH /com/web/docs/lab/olympics/bin/97/}
{SETVAR OLYMPIC_PATH {WEB_PATH}}
{SETVAR OLYMPIC_URL {WEB_URL}97.doit/}
{SET HTEX_PATH_PREFIXES lab/olympics/97/ olympics/97/ olympics97/ Olympics/97/ lab/Olympics/97/}
{SET HTEX_DEFAULT_SOURCE_FILE Olympics97.htx}
{SET HTEX_DEFAULT_SOURCE_FILE Olympics97.htx}

{!-- -- load standard htex extensions --}
{FILE_INCLUDE {'{HTEX_CONFIGURATION_DIR}htex-std.if}}

{DEF email	<A HREF="mailto:{@0}\@ai.mit.edu{WHEN {!= @1 {"}}?subject={@1}}">{@0}\@ai.mit.edu</A>}

{!-- execute the local configuration --}
{WHEN {!= {@HTEX_SOURCE_DIRECTORY} {"}}
	{IF {FILE_READABLE {'{@HTEX_SOURCE_DIRECTORY}htex-config.if}}
		{FILE_INCLUDE {'{@HTEX_SOURCE_DIRECTORY}htex-config.if}}
		{WHEN {FILE_READABLE {'{@HTEX_SOURCE_PATH}/htex-config.if}}
			{FILE_INCLUDE {'{@HTEX_SOURCE_PATH}/htex-config.if}}}
	}
}
{!-- execute the script --}
{IF {FILE_READABLE {'{@HTEX_SOURCE_PATH}.htx}}
	{FILE_INCLUDE {'{@HTEX_SOURCE_PATH}.htx}}
	{FILE_INCLUDE {'error.htx}}