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

{SET HTEX_DEFAULT_SOURCE_FILE cover/}
{SET HTEX_ERROR_SOURCE_FILE error-page/}

{SET HTEX_PATH_PREFIXES
		olympics/99/  
		olympics99/
		Olympics/99/
		lab/olympics/99/
		lab/Olympics/99/
		olympics/99/99.doit
		olympics99/99.doit
		Olympics/99/99.doit
		lab/olympics/99/99.doit
		lab/Olympics/99/99.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 --}
{SET OK {FILE_READABLE {'{@HTEX_SOURCE_PATH}index.htx}}}

{WHEN @OK 	{FILE_INCLUDE {'{@HTEX_SOURCE_PATH}index.htx}}}

{WHEN {NOT @OK}
	{UNSET PATH_INFO}
	{SET PATH_INFO @HTEX_ERROR_SOURCE_FILE}
	{FILE_INCLUDE {'{HTEX_CONFIGURATION_DIR}htex-std.if}}

	{SET OK {FILE_READABLE {'{@HTEX_SOURCE_PATH}index.htx}}}
	{WHEN @OK 	{FILE_INCLUDE {'{@HTEX_SOURCE_PATH}index.htx}}}

	{WHEN {NOT @OK}
		{HTML}
			Page not found.
	}
}