move mzlib docs attempt 2: adjust info.rkt files
original commit: 5f8eedcee0f53ffcb24192eba652b97d248fe15a
This commit is contained in:
parent
1b52739553
commit
c73e5f7b2b
9
pkgs/compatibility-pkgs/compatibility-doc/info.rkt
Normal file
9
pkgs/compatibility-pkgs/compatibility-doc/info.rkt
Normal file
|
@ -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"))
|
Loading…
Reference in New Issue
Block a user