1 files changed, 7 insertions, 0 deletions
diff --git a/protect b/protect
new file mode 100755
index 0000000..40aad7c
--- /dev/null
+++ b/protect
@@ -0,0 +1,7 @@
+chmod -R a-w miralib
+cd miralib
+chmod a+w ex/*.x preludx stdenv.x
+chmod u+w . ex local
+
+#makes miralib files read-only except for .x files
+#to prevent users accidentally changing stdenv.m or manual pages