libdir="$3"
# Script.
-nombre_orig=`basename "$0" | awk -F\\. '{ print $1 }'`
-nombre_nuevo=`basename "$0" | awk -F\\. '{ print $2 }'`
+nombre_orig=`basename "$0" | awk -F- '{ print $1 }'`
+nombre_nuevo=`basename "$0" | awk -F- '{ print $2 }'`
if [ -z "$nombre_orig" ]; then
nombre_nuevo=`basename "$0"`
fi