1.1 --- a/src/HOLCF/IsaMakefile	Thu Dec 27 16:44:29 2001 +0100
     1.2 +++ b/src/HOLCF/IsaMakefile	Thu Dec 27 16:44:43 2001 +0100
     1.3 @@ -47,7 +47,7 @@
     1.4  HOLCF-IMP: HOLCF $(LOG)/HOLCF-IMP.gz
     1.5  
     1.6  $(LOG)/HOLCF-IMP.gz: $(OUT)/HOLCF IMP/HoareEx.thy \
     1.7 -  IMP/Denotational.thy IMP/ROOT.ML
     1.8 +  IMP/Denotational.thy IMP/ROOT.ML IMP/document/root.tex
     1.9  	@$(ISATOOL) usedir $(OUT)/HOLCF IMP
    1.10  
    1.11