src/Doc/Tutorial/document/build
author wenzelm
Thu, 26 Jun 2025 17:14:01 +0200
changeset 82769 7cb5ef6da1f0
parent 73740 c46ff0efa1ce
permissions -rwxr-xr-x
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