src/ZF/ROOT
changeset 58623 2db1df2c8467
parent 56781 f2eb0f22589f
child 59446 4427f04fca57
--- a/src/ZF/ROOT	Tue Oct 07 23:12:08 2014 +0200
+++ b/src/ZF/ROOT	Tue Oct 07 23:29:43 2014 +0200
@@ -174,7 +174,9 @@
 
     Comb            (*Combinatory Logic example*)
     Primrec         (*Primitive recursive functions*)
-  document_files "root.tex"
+  document_files
+    "root.bib"
+    "root.tex"
 
 session "ZF-Resid" in Resid = ZF +
   description {*