diff options
Diffstat (limited to 'build/buildone.sh')
-rwxr-xr-x | build/buildone.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/build/buildone.sh b/build/buildone.sh index c16528023..7d02d2202 100755 --- a/build/buildone.sh +++ b/build/buildone.sh @@ -184,6 +184,10 @@ create_text () { } create_pdf() { + if [ "$language" = el ]; then + echo "Skipping: .pdf file for language=$language" + return 0 + fi [ -x "`which dblatex 2>/dev/null`" ] || return 9 |