diff options
| author | Holger Levsen <holger@layer-acht.org> | 2013-01-04 02:18:16 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2013-01-04 02:18:16 +0100 |
| commit | 8cefda70e55449fce538b7f8cc8f62bd86868259 (patch) | |
| tree | a85a8d031bf1916589a7011430e75fb82aa10167 /bin/d-i_manual.sh | |
| parent | 3d1c69b8c6c2b7f342499cf5859e40fc76bf9ac2 (diff) | |
| download | jenkins.debian.net-8cefda70e55449fce538b7f8cc8f62bd86868259.tar.xz | |
remove empty directories silently
Diffstat (limited to 'bin/d-i_manual.sh')
| -rwxr-xr-x | bin/d-i_manual.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/d-i_manual.sh b/bin/d-i_manual.sh index 910fdafd..3ef7fdbc 100755 --- a/bin/d-i_manual.sh +++ b/bin/d-i_manual.sh @@ -77,7 +77,7 @@ build_language() { # remove directories if they are empty and in the case of pdf, leave a empty pdf # maybe it is indeed better not to create these jobs in the first place... # this is due to "Warning: pdf and ps formats are currently not supported for Chinese, Greek, Japanese and Vietnamese" - (rmdir $FORMAT/* && rmdir $FORMAT ) || true + (rmdir $FORMAT/* 2>/dev/null && rmdir $FORMAT 2>/dev/null ) || true if [ "$FORMAT" = "pdf" ] && [ ! -d $FORMAT ] ; then mkdir -p pdf/dummy touch pdf/dummy/dummy.pdf |