我在git存储库中有一个主.bib文件,我想将它用于我所有的Isabelle证明文件。
但是,isabelle build
拒绝文档根目录之外的.bib文件。我试图使用符号链接,但不通过git传输 - 我会在另一台机器上使用相同的文档。
这个问题有解决方法吗?
答案 0 :(得分:2)
我不能说git和符号链接。
关于Isabelle文档准备工作,请参阅The Isabelle System Manual,了解ROOT
文件语法,特别是document_files
。在调用latex或bibtex作业之前,将集合文档文件复制到文档输出目录中。您可以在那里指定基目录以从不同的目录层次结构中选择内容。例如。像这样:
document_files (in "/home/joe/some/where")
"root.bib"