move mzlib docs attempt 2: adjust info.rkt files

2013-06-29 20:11:12 -05:00 · 2013-06-29 20:11:12 -05:00 · 5f8eedcee0
commit 5f8eedcee0
parent bbdd1f0107
2 changed files with 10 additions and 0 deletions
--- a/pkgs/compatibility-pkgs/compatibility-doc/info.rkt
+++ b/pkgs/compatibility-pkgs/compatibility-doc/info.rkt
@ -0,0 +1,9 @@
+#lang setup/infotab
+(define collection 'multi)
+(define deps '("base"
+               "scribble-lib"
+               "compatibility-lib"
+               "pconvert-lib"
+               "sandbox-lib"
+               "gui-lib"
+               "racket-doc"))
--- a/pkgs/main-distribution/info.rkt
+++ b/pkgs/main-distribution/info.rkt
@ -5,6 +5,7 @@
 (define deps '("algol60"
               "at-exp-lib"
               "compatibility-lib"
+               "compatibility-doc"
               "contract-profile"
               "data-lib"
               "datalog"