From be6bc96fc899aabe10baac9022a9bced22a3048d Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Tue, 3 May 2011 16:24:11 -0400
Subject: [PATCH] Use $SETUP_ARGS in the PDF build too.

---
 collects/meta/build/build | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/collects/meta/build/build b/collects/meta/build/build
index bc2353c871..534781c4b0 100755
--- a/collects/meta/build/build
+++ b/collects/meta/build/build
@@ -1458,9 +1458,9 @@ BUILD_DOCS_AND_PDFS() {
     html_file_row "pdf" "pdf versions of the manuals"
     _rmcd "pdf"
     # avoid any work except for the pdf generation
-    _run "$PLTHOME/bin/raco" setup \
+    _run "$PLTHOME/bin/racket" $SETUP_ARGS \
            --no-zo --no-launcher --no-install --no-post-install \
-           --no-info-domain --no-docs --no-user --no-planet \
+           --no-info-domain --no-docs --no-planet \
            --doc-pdf .
     _cd ..
   else