summaryrefslogtreecommitdiff
path: root/info.rkt
diff options
context:
space:
mode:
Diffstat (limited to 'info.rkt')
-rw-r--r--info.rkt2
1 files changed, 2 insertions, 0 deletions
diff --git a/info.rkt b/info.rkt
new file mode 100644
index 0000000..017c55c
--- /dev/null
+++ b/info.rkt
@@ -0,0 +1,2 @@
+#lang setup/infotab
+(define scribblings '(("manual.scrbl" ())))