diff --git a/lang/private/info.rkt b/lang/private/info.rkt
new file mode 100644
index 0000000..242ce99
--- /dev/null
+++ b/lang/private/info.rkt
@@ -0,0 +1,3 @@
+#lang setup/infotab
+
+(define compile-omit-paths '("shared-body.rkt"))