webinstall mod

Robbert Van Renesse · Robbert Van Renesse · commit 8f6bb89827d0 · 2022-01-17T10:20:57.000-05:00
diff --git a/webinstall b/webinstall
@@ -33,3 +33,5 @@ cp code/*.hny $dir/code
 cp modules/*.hny $dir/modules
 cp python/*.py $dir/python
 cp distributions/*.zip $dir/distributions
+
+zip -r $dir/sources.zip code modules python
