echo "****** Cleaning XPM library"
rm -f ../libXPM/*.o ../libXPM/libXpm.a

echo "****** Cleaning W3 library"
rm -f ../libWWW/src/*.o ../libWWW/src/libW3.a

echo "****** Cleaning XPA library"
rm -f ../libXPA/src/libXpa.a

echo "****** Cleaning Viola"
rm -r *.o viola
