declare the HtDP family for listing on a family-choosing page

mflatt · mflatt · commit 2b2a070a2ba7 · 2025-12-23T12:01:46.000-07:00
diff --git a/htdp-doc/scribblings/htdp-langs/info.rkt b/htdp-doc/scribblings/htdp-langs/info.rkt
@@ -2,3 +2,7 @@
 
 (define scribblings '(("htdp-langs.scrbl" (multi-page) (teaching -12 ("HtDP")))
                       ("htdp-ptr.scrbl" () (teaching -11))))
+
+(define language-family (list (hash 'fam "HtDP"
+                                    'doc '(lib "scribblings/htdp-langs/htdp-langs.scrbl")
+                                    'order -100)))
