Something went wrong. Try again.
the next generation of the in-browser educational proof assistant
Something went wrong. Try again.
holbert-ng build.sh
180 B · 1 line
Shell
at main
12npm run res:build && npm run build && cp dist/assets/index-*.js forest/theme/holbert.js && cp dist/*.{css,woff,eot,ttf,svg} ./forest/theme/ && cd forest && forester build && cd ..