update info.rkt

10 years ago · e45f344a3d
parent d1d2c73033
commit e45f344a3d
1 changed files with 3 additions and 0 deletions
--- a/info.rkt
+++ b/info.rkt
@ -0,0 +1,3 @@
+#lang info
+(define collection "pollen")
+(define scribblings '(("scribblings/pollen.scrbl" ())))