{!-- ---------------------------------------------------- --}
{!--                                                      --}
{!--   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/98/}
{DEF WEB_URL http://www.ai.mit.edu/lab/olympics/98/}
{DEF BIN_PATH /com/web/docs/lab/olympics/bin/98/}

{SET HTEX_DEFAULT_SOURCE_FILE main-page}
{SET HTEX_ERROR_SOURCE_FILE main-page}

{SET HTEX_PATH_PREFIXES
		olympics/98/
		olympics98/
		Olympics/98/
		lab/olympics/98/
		lab/Olympics/98/
		olympics/98/98.doit
		olympics98/98.doit
		Olympics/98/98.doit
		lab/olympics/98/98.doit
		lab/Olympics/98/98.doit}

{!-- -- load standard htex extensions --}
{FILE_INCLUDE {'{HTEX_CONFIGURATION_DIR}htex-std.if}}
{FILE_INCLUDE {'{WEB_PATH}olympics-config.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}}