Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] new bibitems in document preparation

Email Gateway (Aug 23 2022 at 09:25):

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?

• Gergely

Last updated: Nov 21 2024 at 12:39 UTC