From cdf38a259b0b83a7e97679ef96031cffe0b8a02f Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 30 Dec 2010 20:19:47 -0700 Subject: [PATCH] fix dist specs --- collects/meta/dist-specs.rkt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/collects/meta/dist-specs.rkt b/collects/meta/dist-specs.rkt index c093cea1b0..884c605f5e 100644 --- a/collects/meta/dist-specs.rkt +++ b/collects/meta/dist-specs.rkt @@ -608,6 +608,9 @@ plt-extras :+= (package: "embedded-gui/") ;; -------------------- eopl plt-extras :+= (package: "eopl/") +;; -------------------- picturing-programs +plt-extras :+= (package: "picturing-programs/") + ;; -------------------- algol60 plt-extras :+= (package: "algol60/")