diff --git a/build.sh b/build.sh
index eded032e..a6897d49 100755
--- a/build.sh
+++ b/build.sh
@@ -108,7 +108,7 @@ case "$1" in
       cd ${WEBDIR} && make pub
    ;;
 
-   pub)
+   p|pu|pub)
       git push --mirror
       git push --mirror github
    ;;