From 9a3f423c51d977a5e3d110cd6474bfca9d2e7bd0 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Sat, 6 Jul 2013 21:26:00 -0600
Subject: [PATCH] redex: "info.rkt" fix for moved documentation

---
 pkgs/redex-pkgs/redex-doc/info.rkt       | 6 +++++-
 pkgs/redex-pkgs/redex-doc/redex/info.rkt | 3 +++
 pkgs/redex-pkgs/redex-lib/redex/info.rkt | 1 -
 3 files changed, 8 insertions(+), 2 deletions(-)
 create mode 100644 pkgs/redex-pkgs/redex-doc/redex/info.rkt

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")))