Let LUMIROOT be overridden during publishes
#!/bin/bash
set -ex
+# Default the Lumi root to the right place, but let it be overridden.
+if [ -z "${LUMIROOT}" ]; then
LUMIROOT=/usr/local/lumi
+fi
LUMILIB=${LUMIROOT}/packs
PUBDIR=$(mktemp -du)
