我使用一个使用pdflatex
和的工具链bibtex
,以及从 Isabelle 理论源生成的 .tex 文件。
前两处参考文献的排版正确,但第三处参考文献却无法排版。参考文献出现在参考书目中,但其编号并未作为引文出现在文本中,而是出现了一个问号。
我的构建脚本是
pdflatex root.tex
bibtex root
pdflatex root.tex
pdflatex root.tex
我尝试将 .bib 文件中的参考书目条目从末尾移到开头,但没有成功。我还尝试在 bib 文件中提供另一个条目,但同样没有成功。
BibTeX 没有报告任何警告或错误,所以我的 .bib 文件的语法似乎是正确的。
pdflatex
说
LaTeX Warning: Citation `Appel-VST' on page 1 undefined on input line 65.
它确实在 .bib 文件中有一个条目。
什么原因造成此问题?如何解决?
答案1
由于需要安装 Isabelle,因此创建一个最小的工作示例会很困难。
事实证明,在我document/root.tex
的.bib文件中我将它称为
\bibliography{../../MyBib}
因为我的参考书目文件位于我所有论文的根目录中,但 Isabelle 文档准备工具链的逻辑要求它位于当前构建目录中:
\bibliography{MyBib}
工具链将我的 .bib 文件复制到构建目录中。我应该在文件中引用祖父目录的方式ROOT
:
document_files ( in "../.." )
"MyBib.bib"
这指定了要复制到构建目录的内容。
现在它可以工作了。