diff --git a/pkgs/htdp-pkgs/htdp-test/htdp/info.rkt b/pkgs/htdp-pkgs/htdp-test/htdp/info.rkt new file mode 100644 index 0000000000..2f992b4440 --- /dev/null +++ b/pkgs/htdp-pkgs/htdp-test/htdp/info.rkt @@ -0,0 +1,5 @@ +#lang info + +(define name "HtDP Teachpack Tests") +(define compile-omit-paths '("tests")) +