#!/bin/sh
#             ,,,
#            (o o)
####=====oOO--(_)--OOO=========================================####
#
# Author      : Olivier.Sirol@lip6.fr
# Started on  : mai 2001
# Description : 

warning()
{
echo " "
echo "      @@@ @@@ @@@                                  @                      "
echo "       @@  @@  @                                  @@@                     "
echo "       @@  @@  @                                   @                      "
echo "       @@  @@  @    @@@@    @@@ @@@  @@@ @@@           @@@ @@@      @@@@@@"
echo "        @@ @@@ @   @@   @    @@@  @@  @@@   @   @@@@    @@@   @    @@  @@ "
echo "        @@@ @@@    @@   @@   @@   @@  @@    @@    @@    @@    @@   @   @@ "
echo "        @@@ @@@      @@@@@   @@       @@    @@    @@    @@    @@   @   @  "
echo "         @@  @@    @@   @@   @@       @@    @@    @@    @@    @@    @@@   "
echo "         @@  @@   @@    @@   @@       @@    @@    @@    @@    @@   @@     "
echo "         @@  @@   @@   @@@   @@       @@    @@    @@    @@    @@   @@@@@@ "
echo "         @@  @@    @@@@  @@ @@@@     @@@@  @@@@ @@@@@@ @@@@  @@@@ @@   @@@"
echo "                                                                   @     @"
echo "                                                                    @@@@@ "
echo " "
}                                       


warning

echo "WARNING: The tool \"ali\" has been renamed to \"ale\""
echo "Please update your Makefiles as \"ali\""
echo "will disapear in future releases of Alliance"
echo "Running \"ale\"..."
echo " "

ale

