1 files changed, 45 insertions, 0 deletions
diff --git a/scripts/rebuild-doc.sh b/scripts/rebuild-doc.sh
new file mode 100644
index 00000000..563f30b5
--- /dev/null
+++ b/scripts/rebuild-doc.sh
@@ -0,0 +1,45 @@
+#! /bin/sh
+
+sdir=`dirname $(readlink -f $0)`
+rootdir=`dirname $sdir`
+bname=`basename $0 .sh`
+logfile=$bname.log
+rm -f $logfile
+
+. $sdir/setup-machine-arch.sh
+
+export JAVA_HOME=/usr/lib/jvm/java-11-openjdk-$archabi
+if [ ! -e $JAVA_HOME ] ; then
+    echo $JAVA_HOME does not exist
+    exit 1
+fi
+
+CPU_COUNT=`getconf _NPROCESSORS_ONLN`
+
+# run 'dpkg-reconfigure locales' enable 'en_US.UTF-8'
+export LANG=en_US.UTF-8
+export LC_MEASUREMENT=en_US.UTF-8
+
+buildit() {
+    echo rootdir $rootdir
+    echo logfile $logfile
+    echo CPU_COUNT $CPU_COUNT
+
+    cd $rootdir/build-$archabi
+    rm -rf documentation
+    make -j $CPU_COUNT install doc
+    if [ $? -eq 0 ] ; then
+        echo "REBUILD SUCCESS $bname $archabi"
+        rm -f $rootdir/documentation.tar.xz
+        tar caf $rootdir/documentation.tar.xz documentation
+        cd $rootdir
+        return 0
+    else
+        echo "REBUILD FAILURE $bname $archabi"
+        cd $rootdir
+        return 1
+    fi
+}
+
+buildit 2>&1 | tee $logfile
+