diff options
Diffstat (limited to 'build')
| -rwxr-xr-x | build/buildone.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build/buildone.sh b/build/buildone.sh index b4bbcd1e4..48982cfd8 100755 --- a/build/buildone.sh +++ b/build/buildone.sh @@ -255,9 +255,9 @@ BUILD_OK="" BUILD_FAIL="" for format in $formats ; do case "$language" in - el|ja|ko|zh_CN|zh_TW) + el|ja|ko|vi|zh_CN|zh_TW) if [ "$format" = "pdf" -o "$format" = "ps" ] ; then - echo "Warning: pdf and ps formats are currently not supported for Chinese, Greek, Japanese and Korean" + echo "Warning: pdf and ps formats are currently not supported for Chinese, Greek, Japanese, Korean and Vietnamese" BUILD_SKIP="$BUILD_SKIP $format" continue fi |