buildPublishable.sh

#!/usr/bin/bash

## This script builds the publishable version of the specification including
## all stable branches. Each is built successively in the normal way after
## a `git checkout` of the found stable branches. Each built stable version is
## placed into the `versions` folder of the top-level final build

liveBranch=${1:-main}
destDir=${2:-"./publish_build"}
repoPath=${3-"heads"} # only remotes/origin will work in CI

echo "Live branch is ${liveBranch}"
echo "Destination dir is ${destDir}"
echo "Searching for stable branches with repo path refs/${repoPath}/stable/"

origBranch=$(git symbolic-ref --short HEAD)

echo "Checking if the current branch ${origBranch} is clean"
if [ ! -z "$(git status --untracked-files=no --porcelain)" ]; then 
  # Uncommitted changes in tracked files
  echo "  ERROR: Some files that have been changed are not committed!"
  echo "  This script will fail to generate a publishable build until everything has been committed"
  git status
  exit -1
fi

# initialize the destination folder
mkdir -p ${destDir}/versions

# Build the stable version list
unset versionList
for branch in `git for-each-ref --format='%(refname:short)' --sort=-refname refs/${repoPath}/stable/`; do
  versionNum=${branch/*stable\//}

  if [ -z "${versionList}" ]
  then
    versionList="${versionNum}"
  else
    versionList="${versionList},${versionNum}"
  fi
done

# Now build each stable version and copy to destination folder
echo "VersionList is ${versionList}"
for branch in `git for-each-ref --format='%(refname:short)' --sort=-refname refs/${repoPath}/stable/`; do
  versionNum=${branch/*stable\//}
  
  echo "Checkout stable branch ${branch} with version number ${versionNum}"
  git checkout ${branch}

  # build
  VERSION=${versionNum} VERSION_LIST=${versionList} make html

  echo "Copy to publish dir ${destDir}/versions/${versionNum}"
  cp -r build/html ${destDir}/versions/${versionNum}
done

echo "Getting live branch ${liveBranch}"
git checkout origin/${liveBranch}

# build
VERSION_LIST=${versionList} make html

echo "Copy to publish dir"
cp -r build/html/* ${destDir}

echo "Restoring to ${origBranch}"
git checkout ${origBranch}