#      *** html.pl *** (Version 96.1.2)         #
#                                               #
#         Copyright (C) 1996 UPM-CLIP.          #
#################################################

# ------- Options -------------------------------

## Prolog system -- Uncomment only one line
SYSTEM=ciao
# SYSTEM=sicstus21
# SYSTEM=sicstus3
# SYSTEM=binprolog
# SYSTEM=swiprolog

## Directory where cgi-bin's reside
CGIBINDIR=/usr/local/etc/httpd/cgi-bin/

## URL where images will be
## PLEASE CHANGE THIS TO A LOCAL ADDRESS
ICONDIR=http://www.clip.dia.fi.upm.es/images/

# You should not change anything below this line
# ------- End of Options ------------------------

html.pl: html0.pl c_$(SYSTEM).pl
	sed -e "s*<CGIBINDIR>*$(CGIBINDIR)*" -e "s*<ICONDIR>*$(ICONDIR)*"\
	    html0.pl | cat - c_$(SYSTEM).pl > html.pl