suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Use $SETUP_ARGS in the PDF build too.

Browse Source
This commit is contained in:
Eli Barzilay 2011-05-03 16:24:11 -04:00
parent 1f2b072a7b
commit be6bc96fc8
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/meta/build/build
View File

@ -1458,9 +1458,9 @@ BUILD_DOCS_AND_PDFS() {
html_file_row "pdf" "pdf versions of the manuals" html_file_row "pdf" "pdf versions of the manuals"
_rmcd "pdf" _rmcd "pdf"
# avoid any work except for the pdf generation # 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-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 . --doc-pdf .
_cd .. _cd ..
else else