Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] new bibitems in document preparation


view this post on Zulip Email Gateway (Jul 27 2020 at 10:52):

From: Gergely Buday <buday.gergely@uni-eszterhazy.hu>
Hi,

my build script using the standard document preparation toolchain is

#!/bin/bash

pdflatex root.tex
bibtex root
pdflatex root.tex
pdflatex root.tex

When I insert new references, the above produces question marks into the
citations. The .bbl file does not contain the new references in
output/document. I used

isabelle build -c -D .

With a simple .tex file and without Isabelle the above works, how should I
rewrite it to make it work with the toolchain?


Last updated: Dec 05 2021 at 23:19 UTC