IF EXISTS libs:reqtools.library
    ECHO "Reqtools.library already present"
ELSE
    ECHO "Copying version 2.1c of reqtools.library to LIBS:"
    COPY reqtools.library libs:
ENDIF
