From 4072ef863264cbd161158239ca76e4abceb32274 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Mon, 11 Nov 2013 09:56:40 -0700
Subject: [PATCH] distro-build: add `--pkgs` to a call to `raco pkg install`

---
 pkgs/distro-build/install-for-docs.rkt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pkgs/distro-build/install-for-docs.rkt b/pkgs/distro-build/install-for-docs.rkt
index 09d256859b..aaf47a670f 100644
--- a/pkgs/distro-build/install-for-docs.rkt
+++ b/pkgs/distro-build/install-for-docs.rkt
@@ -52,6 +52,7 @@
 (unless (apply system* (find-exe) 
                "-G" "build/docs/etc" "-l-" 
                "raco" "pkg" "install"
+               "--pkgs"
                "-i" "--deps" "search-auto"
                pkgs)
   (error "install failed"))