#!/bin/bash

echo "Build HTML files."

HTMLDIR="html"
if test -f "$HTMLDIR" ; then
   rm "$HTMLDIR"
fi

#cp eliza.bush eliza.adb
#gnathtml.pl eliza.adb
#rm eliza.adb

#cp poetry.bush poetry.adb
#gnathtml.pl poetry.adb
#rm poetry.adb

#cp wumpus.bush wumpus.adb
#gnathtml.pl wumpus.adb
#rm wumpus.adb

#cp camel.bush camel.adb
#gnathtml.pl camel.adb
#rm camel.adb

#cp draco_ii.bush draco_ii.adb
#gnathtml.pl draco_ii.adb
#rm draco_ii.adb

#cp bjack.bush bjack.adb
#gnathtml.pl bjack.adb
#rm bjack.adb

#cp chomp.bush chomp.adb
#gnathtml.pl chomp.adb
#rm chomp.adb

#cp chomp2.bush chomp2.adb
#gnathtml.pl chomp2.adb
#rm chomp2.adb

#cp postgres_csv.bush postgres_csv.adb
#gnathtml.pl postgres_csv.adb
#rm postgres_csv.adb

#cp validate_name.bush validate_name.adb
#gnathtml.pl validate_name.adb
#rm validate_name.adb

#cp minimal_cgi.bush minimal_cgi.adb
#gnathtml.pl minimal_cgi.adb
#rm minimal_cgi.adb

#cp minimal_cgi.bush minimal_cgi.adb
#gnathtml.pl minimal_cgi.adb
#rm minimal_cgi.adb

#cp quest.bush quest.adb
#gnathtml.pl quest.adb
#rm quest.adb

#cp hello.bush hello.adb
#gnathtml.pl hello.adb
#rm hello.adb

#cp game.bush game.adb
#gnathtml.pl game.adb
#rm game.adb

#cp menu.bush menu.adb
#gnathtml.pl menu.adb
#rm menu.adb

#cp menu2.bush menu2.adb
#gnathtml.pl menu2.adb
#rm menu2.adb

cp database.bush database.adb
gnathtml.pl database.adb
rm database.adb

