diff --git a/pkgs/htdp-pkgs/htdp-lib/info.rkt b/pkgs/htdp-pkgs/htdp-lib/info.rkt
index 54edfa9405..c5a9c33ecd 100644
--- a/pkgs/htdp-pkgs/htdp-lib/info.rkt
+++ b/pkgs/htdp-pkgs/htdp-lib/info.rkt
@@ -9,6 +9,7 @@
     "errortrace-lib"
     "gui-lib"
     "htdp-doc"
+    "html-lib"
     "images"
     "pconvert-lib"
     "r5rs-lib"