diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/d-i_manual.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/bin/d-i_manual.sh b/bin/d-i_manual.sh index 47a9b69e..b9f2e634 100755 --- a/bin/d-i_manual.sh +++ b/bin/d-i_manual.sh @@ -70,7 +70,14 @@ build_language() { done cd ../.. svn revert manual -R + # 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 + if [ "$FORMAT" = "pdf" ] && [ ! -d $FORMAT ] ; then + mkdir -p pdf/dummy + touch pdf/dummy/dummy.pdf + fi } po_cleanup() { |