use the new makefile in upload.sh

This commit is contained in:
opfez 2021-08-06 17:28:18 +02:00
parent c939029c84
commit f1d4f4033d
1 changed files with 2 additions and 2 deletions

View File

@ -2,5 +2,5 @@
git push
ssh opfez@tilde.town "cd public_html/codex && git pull && ./gen.sh"
ssh skoskapet "cd codex && git pull && ./gen.sh"
ssh opfez@tilde.town "cd public_html/codex && git pull && make"
ssh skoskapet "cd codex && git pull && make"