Don't copy private data.

diff --git a/bin/mo-install b/bin/mo-install
index 8fbb72977b23b652ec02673a391b73f5cc9b93e4..e4ad6f87242eae37637d2a4fc2607fe730959fa3 100755 (executable)
--- a/bin/mo-install
+++ b/bin/mo-install
@@ -37,7 +37,8 @@ echo "Creating public"
 rm -rf public
 mkdir public
 cd public
-cp -a $H/bin $H/config $H/problems .
+cp -a $H/bin $H/config .
+mkdir problems
 cp -a $H/public/* bin/
 chmod +x bin/*
 cd ..