[isabelle] running bibtex through document preparation



Hi,

if I go to output/document and I run

   pdflatex
   bibtex
   pdflatex
   pdflatex

I get a proper root.pdf.

However running

   isabelle build -D .

does not result in proper citations in document.pdf, no matter how
many times I run it.

How should I use document preparation so that bibtex runs?

- Gergely




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.