added a publisher to avoid a warning

2020-01-14 18:16:31 +01:00 · 2020-01-14 18:16:31 +01:00 · 80f7a73b88
parent 727b53edb6
commit 80f7a73b88
1 changed files with 1 additions and 0 deletions
--- 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
 }