diff options
author | Javier Fernandez-Sanguino Peña <jfs@debian.org> | 2010-10-05 23:51:59 +0000 |
---|---|---|
committer | Javier Fernandez-Sanguino Peña <jfs@debian.org> | 2010-10-05 23:51:59 +0000 |
commit | e705468ee49466dc66f26de9213a93e6d50018b0 (patch) | |
tree | 99f5733adb26f475dac8335a149fd4f16df99fda | |
parent | 59ebc00f9b092ef95f1cff9cadd719f3ff4992a8 (diff) | |
download | installation-guide-e705468ee49466dc66f26de9213a93e6d50018b0.zip |
Report packages needed for pdf generation
-rwxr-xr-x | build/buildone.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/build/buildone.sh b/build/buildone.sh index 0193a4508..f10f48071 100755 --- a/build/buildone.sh +++ b/build/buildone.sh @@ -299,7 +299,10 @@ for format in $formats ; do ;; 9) BUILD_FAIL="$BUILD_FAIL $format" - echo "Error: build of $format failed because of missing build dependencies" + echo "Error: build of $format failed because of missing build dependencies" + if [ "$format" = "pdf" ] ; then + echo "Error: (make sure you have ghostscript, openjade and jadetex installed for PDF builds)" + fi ;; *) BUILD_FAIL="$BUILD_FAIL $format" |