diff --git a/pkgs/redex-pkgs/redex-doc/info.rkt b/pkgs/redex-pkgs/redex-doc/info.rkt
index adec641e73..b1a13e667e 100644
--- a/pkgs/redex-pkgs/redex-doc/info.rkt
+++ b/pkgs/redex-pkgs/redex-doc/info.rkt
@@ -4,4 +4,8 @@
 
 (define deps '("base" "racket-doc"))
 (define build-deps '("at-exp-lib"
-                     "scribble-lib"))
+                     "scribble-lib"
+                     "gui-lib"
+                     "htdp-lib"
+                     "pict-lib"
+                     "redex-lib"))
diff --git a/pkgs/redex-pkgs/redex-doc/redex/info.rkt b/pkgs/redex-pkgs/redex-doc/redex/info.rkt
new file mode 100644
index 0000000000..add1c160a7
--- /dev/null
+++ b/pkgs/redex-pkgs/redex-doc/redex/info.rkt
@@ -0,0 +1,3 @@
+#lang info
+
+(define scribblings (list (list "redex.scrbl" (list 'multi-page) (list 'tool))))
diff --git a/pkgs/redex-pkgs/redex-lib/redex/info.rkt b/pkgs/redex-pkgs/redex-lib/redex/info.rkt
index db69d523a0..fe553fed27 100644
--- a/pkgs/redex-pkgs/redex-lib/redex/info.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/info.rkt
@@ -3,7 +3,6 @@
 (define collection "redex")
 
 (define name "PLT Redex")
-(define scribblings (list (list "redex.scrbl" (list 'multi-page) (list 'tool))))
 (define release-notes (list (list "Redex" "HISTORY.txt")))