proper build_context.store, instead of circular null value (amending 0e36478a1b6a and e891ff63e6db);
#!/usr/bin/env bash
set -e
$ISABELLE_LUALATEX root
$ISABELLE_BIBTEX root
$ISABELLE_LUALATEX root
$ISABELLE_LUALATEX root
./isa-index root
$ISABELLE_LUALATEX root