diff --git a/pkgs/redex-pkgs/redex-doc/info.rkt b/pkgs/redex-pkgs/redex-doc/info.rkt index 7f561d6c1c..dc92c2750d 100644 --- 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\"")