From 80f7a73b883ed03a7a1e1575311599a7089ecc6d Mon Sep 17 00:00:00 2001 From: bu Date: Tue, 14 Jan 2020 18:16:31 +0100 Subject: [PATCH] added a publisher to avoid a warning --- examples/technical_report/Isabelle_DOF-Manual/document/root.bib | 1 + 1 file changed, 1 insertion(+) diff --git a/examples/technical_report/Isabelle_DOF-Manual/document/root.bib b/examples/technical_report/Isabelle_DOF-Manual/document/root.bib index 7421ed3e..f69a462a 100644 --- a/examples/technical_report/Isabelle_DOF-Manual/document/root.bib +++ b/examples/technical_report/Isabelle_DOF-Manual/document/root.bib @@ -490,5 +490,6 @@ @Book{ eijkhout:latex-cs:2012, author = {Victor Eijkhout}, title = {The Computer Science of TeX and LaTeX}, + publisher = {Texas Advanced Computing Center}, year = 2012 }