Add info.rkt.

2020-12-28 22:33:47 +01:00 · 2020-12-28 22:33:47 +01:00 · b89fc2d83a
parent 851c708998
commit b89fc2d83a
1 changed files with 11 additions and 0 deletions
--- a/info.rkt
+++ b/info.rkt
@ -0,0 +1,11 @@
+#lang info
+
+(define collection "typed-graph")
+(define deps '("base"
+               "graph-lib"
+               "typed-racket-lib"
+               ))
+(define scribblings '(("manual.scrbl" ())))
+(define build-deps '("racket-doc"
+                     "scribble-lib"
+                     ))