Git 如何在Isabelle文件准备系统中使用主bib文件？

我在git存储库中有一个main.bib文件，我想将它用于我所有的Isabelle证明文档

但是，

isabelle build

拒绝文档根目录之外的.bib文件。我尝试使用符号链接，但它不是通过git传输的——我会在另一台机器上使用相同的文档

---

有解决这个问题的办法吗？

我不能说关于git和符号链接的任何事情

关于Isabelle文档准备，请参阅关于

根文件

文件语法，特别是关于

文档_文件

。在调用latex或bibtex作业之前，将集合文档文件复制到文档输出目录中。您可以在那里指定一个基本目录，以便从不同的目录层次结构中拾取内容。例如，像这样：

document_files (in "/home/joe/some/where")
  "root.bib"

---

您还可以使用自定义的

build

脚本将bib文件直接复制到输出。事实上，这也是一种解决方案。