After Markus's comments,Attached document, is an IsaMakefile template. Tested with GNU make (may not work with other make variant). It's simple enough, you just have to change “Isa_Test” to match your session name. It rebuilds the session whenever a theory file has changed, builds “document.pdf”, and IsaMakefile has a dependence to it‑self, so that build is considered dirty if ever you change any thing in IsaMakefile.
As usual, don't forget too, to setup your ROOT.ML file properly. -- “Syntactic sugar causes cancer of the semi-colons.”  “Structured Programming supports the law of the excluded muddle.”  : Epigrams on Programming — Alan J. — P. Yale University
Description: Binary data