diff options
| author | Chris Akritidis <43294513+cakrit@users.noreply.github.com> | 2020-01-22 12:48:50 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-22 12:48:50 -0800 |
| commit | bc263dca06794ae7fb330cf92422f88a0b05917f (patch) | |
| tree | 88a25b0bee796825be54386fc03ec5fe623d04b1 /docs | |
| parent | c21e5071bcc5f95867e57f3d18a9ac9be79b3716 (diff) | |
Add Korean translation (#7723)
Diffstat (limited to 'docs')
| -rwxr-xr-x | docs/generator/buildhtml.sh | 2 | ||||
| -rw-r--r-- | docs/generator/custom/themes/material/partials/header.html | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/docs/generator/buildhtml.sh b/docs/generator/buildhtml.sh index f09c331a85..42d772a35e 100755 --- a/docs/generator/buildhtml.sh +++ b/docs/generator/buildhtml.sh @@ -91,7 +91,7 @@ prep_html() { } -for d in "en" "zh" "pt" ; do +for d in "en" "kr" "zh" "pt" ; do echo "Preparing source for $d" cp -r ${SRC_DIR} ${DOCS_DIR} if [ "${d}" != "en" ] ; then diff --git a/docs/generator/custom/themes/material/partials/header.html b/docs/generator/custom/themes/material/partials/header.html index ba902105ed..e88fb9e58a 100644 --- a/docs/generator/custom/themes/material/partials/header.html +++ b/docs/generator/custom/themes/material/partials/header.html @@ -88,6 +88,7 @@ <option href="#" value='en'>English</option> <option href="#" value='zh'>中文</option> <option href="#" value='pt'>Portugues-Brasil</option> + <option href="#" value='kr'>한국어</option> </select> </div> |