X-Git-Url: https://git.phdru.name/?a=blobdiff_plain;f=update;h=f7e3dbe696710b462def485e799db986fa4bf946;hb=7dae99f67e2a57f8f86e6a18a427c9e8cb2db4cc;hp=552c1e550e4cd9678e90f44e28b7295389670b41;hpb=98fe10e1a6e8e29731ff72d9859701563b772c8b;p=phdru.name%2Fphdru.name.git

diff --git a/update b/update
index 552c1e5..f7e3dbe 100755
--- a/update
+++ b/update
@@ -15,7 +15,7 @@ elif [ -z "$current" ]; then
    exit 1
 fi
 
-git pull --ff-only current master &&
+git pull --ff-only current master && compyleall &&
 
 web="`git config --get --path remote.web.url`" &&
 [ -n "$web" ] && git push web