Use "make html" instead of htmlify

Raku · Apr 10, 2015 · 70de7ff · 70de7ff
1 parent c2bc065
commit 70de7ff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/util/update-and-sync b/util/update-and-sync
@@ -27,7 +27,7 @@ else
 
     # if the htmilfy fails, sync the build log.
     # since sync-build-log returns false, not the whole thing is synced
-    time ./htmlify.p6 || ./util/sync-build-log
+    time make html || ./util/sync-build-log
     ./util/sync
 fi