echo;echo"If there is nothing important in ${PREFIX}/doc";\
echo"you may remove that obsolete directory.";\
fi
@rm -rf ${PREFIX}/sema
dist tar: ${TARFILE}
Reference in New Issue
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.