mirror of
https://github.com/NoRedInk/noredink-ui.git
synced 2024-12-24 22:21:45 +03:00
unconditionally make public
This commit is contained in:
parent
431c5e91a0
commit
2c08fd5fd6
@ -3,9 +3,10 @@ set -euo pipefail
|
||||
|
||||
if test -d public; then
|
||||
rm -rf public
|
||||
make -j public
|
||||
fi
|
||||
|
||||
make -j public
|
||||
|
||||
cat <<EOF
|
||||
== 👋 Hello! ==================================================================
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user