if [ -f /etc/profile.d/GNUstep.sh ];
then
    . /etc/profile.d/GNUstep.sh
else
    message "${ERROR_COLOR}Unable to find /etc/profile.d/GNUstep.sh"
    message "Rebuild gnustep-make${DEFAULT_COLOR}"
    exit 1
fi                                                                    &&

make                                                                  &&

if [ "$DOCU" == "y" ]; 
then
    cd Documentation                                                  &&
    sedit "s/\/Makefiles/\/Library\/Makefiles/" GNUmakefile           &&
    make_single                                                       &&
    make                                                              &&
    make_normal                                                       &&
    cd ../
fi

