echo noline "Coping library..."
Copy libs/rtggadtools.library libs:
echo "Done."
echo "If you are using C as programming language, you should copy"
echo "the include files in the INCLUDE/ directory to your compiler's"
echo "include directory."