Change htdp' to a package to include
doc/htdp'.
This commit is contained in:
parent
4b9d88cc1d
commit
f4b9b785b7
|
@ -563,7 +563,7 @@ plt-extras :+= (package: "lang/" #:docs "htdp-langs/")
|
|||
|
||||
;; -------------------- htdp, tests, teachpacks
|
||||
plt-extras :+=
|
||||
(collects: "htdp/")
|
||||
(package: "htdp/")
|
||||
(doc: "htdp-lib")
|
||||
(- (package: "teachpack/") (collects: "teachpack/deinprogramm/"))
|
||||
(- (package: "2htdp/")
|
||||
|
|
Loading…
Reference in New Issue
Block a user