fix "redex-doc" dependencies

2014-10-15 05:22:00 -06:00 · 2014-10-15 05:22:00 -06:00 · 0a9cf6dc34
commit 0a9cf6dc34
parent 5650e8fc03
1 changed files with 3 additions and 1 deletions
--- a/pkgs/redex-pkgs/redex-doc/info.rkt
+++ b/pkgs/redex-pkgs/redex-doc/info.rkt
@ -14,7 +14,9 @@
                     "htdp-lib"
                     "pict-lib"
                     "redex-gui-lib"
-                     "redex-benchmark"))
+                     "redex-benchmark"
+                     "math-lib"
+                     "rackunit-lib"))

 (define pkg-desc "documentation part of \"redex\"")