diff options
| -rwxr-xr-x | build/buildone.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/build/buildone.sh b/build/buildone.sh index 0e30d9c15..762eae40f 100755 --- a/build/buildone.sh +++ b/build/buildone.sh @@ -283,6 +283,13 @@ for format in $formats ; do continue fi ;; + ko) + if [ "$web_build" ] && [ "$format" = "pdf" -o "$format" = "ps" ] ; then + echo "Warning: pdf and ps formats are currently not supported for Korean for the website" + BUILD_SKIP="$BUILD_SKIP $format" + continue + fi + ;; esac case $format in |