Update translations (2022-01-01)

2022-01-01 02:28:22 +00:00
parent eb7d361657
commit 40ddcba758
7357 changed files with 1783735 additions and 6775 deletions
@@ -0,0 +1,21 @@
+#!/bin/sh
+
+OUT_DIR="${1}"
+DOXYFILE="${2}"
+DOXYGEN="${3}"
+
+shift 3
+
+if [ -e "VERSION" ]; then
+    VERSION=`cat "VERSION"`
+else
+    VERSION=`git describe`
+fi
+
+$DOXYGEN - <<EOF
+@INCLUDE        = ${DOXYFILE}
+INPUT           = $@
+HTML_TIMESTAMP  = NO
+PROJECT_NUMBER  = $VERSION
+OUTPUT_DIRECTORY = $OUT_DIR
+EOF