1 files changed, 0 insertions, 7 deletions
diff --git a/build/buildone.sh b/build/buildone.sh
index 603ea19e9..6af1c460f 100755
--- a/build/buildone.sh
+++ b/build/buildone.sh
@@ -278,13 +278,6 @@ 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