contrib/dist/publish_doc: symlink to the latest common jquery.js

Followup to open-mpi/ompi-www commit 080e30b0a5f9910c91ca555aee6bf8407bfefa5d

Signed-off-by: Brice Goglin <[email protected]>

Author: bgoglin

contrib/dist/publish_doc

@@ -54,6 +54,13 @@ else if ! test -d doc/www.open-mpi.org/html/; then
   exit 1
 fi fi fi
 
+jquerydir="$dst/../../../includes/"
+jquery=$(cd "$jquerydir" && ls --sort=time jquery-*.js | head -1)
+if test x$jquery = x; then
+  echo "ERROR: jquery*.js not found in $jquerydir"
+  exit 1
+fi
+
 echo "Installing hwloc-v${VERSION}-a4.pdf ..."
 cp -f doc/doxygen-doc/hwloc-a4.pdf "$dst/hwloc-v${VERSION}-a4.pdf"
 
@@ -63,6 +70,11 @@ cp -f doc/doxygen-doc/hwloc-letter.pdf "$dst/hwloc-v${VERSION}-letter.pdf"
 echo "Installing v${VERSION}/ HTML directory ..."
 rsync -avz doc/www.open-mpi.org*inc doc/www.open-mpi.org/html/ "$dst/v${VERSION}/"
 
+echo
+echo "Replacing jquery.js with the common $jquery ..."
+rm -f "$dst/v${VERSION}/jquery.js"
+ln -sf ../../../../includes/$jquery "$dst/v${VERSION}/jquery.js"
+
 echo
 cd "$dst/v${VERSION}/"
 echo "Looking for main page links:"