From a0e6892d3e8450732f8f96815d1838b41f839f0b Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Sun, 29 Jul 2012 08:27:10 -0400
Subject: [PATCH] Add "download-libs.rkt" to the core sources.

---
 collects/meta/dist-specs.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/meta/dist-specs.rkt b/collects/meta/dist-specs.rkt
index 5e5b7cf543..dcfcd7ee79 100644
--- a/collects/meta/dist-specs.rkt
+++ b/collects/meta/dist-specs.rkt
@@ -391,7 +391,7 @@ mz-tests := (tests: "info.rkt" "racket/" "utils/" "match/"
 ;; Source definitions
 
 mz-src := (+ (- (src: "README" "configure" "Makefile.in" "lt/" "racket/"
-                      "get-libs.rkt" "utils/"
+                      "get-libs.rkt" "download-libs.rkt" "utils/"
                       (cond win => "worksp/{README|mzconfig.h}"
                                    "worksp/{build.bat|rbuildmode.c}"
                                    "worksp/{racket|libracket}/"