specify "HtDP" language family for docs

racket · Sep 30, 2024 · d9f49ec · d9f49ec
1 parent 7688372
commit d9f49ec
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/htdp-doc/scribblings/htdp-langs/info.rkt b/htdp-doc/scribblings/htdp-langs/info.rkt
@@ -1,4 +1,4 @@
 #lang info
 
-(define scribblings '(("htdp-langs.scrbl" (multi-page) (teaching -12))
+(define scribblings '(("htdp-langs.scrbl" (multi-page) (teaching -12 ("HtDP")))
                       ("htdp-ptr.scrbl" () (teaching -11))))
diff --git a/htdp-doc/teachpack/info.rkt b/htdp-doc/teachpack/info.rkt
@@ -1,4 +1,4 @@
 #lang info
 
-(define scribblings '(("teachpack.scrbl" (multi-page) (teaching -13))))
+(define scribblings '(("teachpack.scrbl" (multi-page) (teaching -13 ("HtDP")))))
 
diff --git a/htdp-doc/teachpack/teachpack.scrbl b/htdp-doc/teachpack/teachpack.scrbl
@@ -1,5 +1,6 @@
 #lang scribble/doc
 
+
 @(require scribble/manual
           (for-label scheme/base))