| changeset 13439 | 2f98365f57a8 |
| parent 13263 | 203c5f789c09 |
| child 28500 | 4b79e5d3d0aa |
--- a/doc-src/TutorialI/Overview/IsaMakefile Wed Jul 31 16:10:24 2002 +0200 +++ b/doc-src/TutorialI/Overview/IsaMakefile Wed Jul 31 17:42:38 2002 +0200 @@ -14,7 +14,7 @@ LNCS: $(LOG)/HOL-LNCS.gz -$(LOG)/HOL-LNCS.gz: LNCS/ROOT.ML LNCS/document/root.tex LNCS/*.thy +$(LOG)/HOL-LNCS.gz: LNCS/ROOT.ML LNCS/document/root.tex LNCS/document/root.bib LNCS/*.thy @$(USEDIR) HOL LNCS