add docfiles for options psuedo-namespaces

shaunlebron · shaunlebron · commit 09bb46f16e97 · 2017-03-21T23:35:52.000-07:00
diff --git a/docfiles/compiler-options.md b/docfiles/compiler-options.md
@@ -0,0 +1,8 @@
+---
+name: compiler-options
+display as: "Compiler Options"
+---
+
+## Summary
+
+## Details
diff --git a/docfiles/repl-options.md b/docfiles/repl-options.md
@@ -0,0 +1,8 @@
+---
+name: repl-options
+display as: "REPL Options"
+---
+
+## Summary
+
+## Details
