# HG changeset patch
# User huffman
# Date 1313616768 25200
# Node ID c478cd500dc4be56f1ec7e4343189c12555dfc7a
# Parent  e37e1ef33bb8452a13b7a1a8b4855d1fc6c64c7d
IsaMakefile: target HOLCF-Library now compiles HOL/HOLCF/Library instead of HOL/Library

diff -r e37e1ef33bb8 -r c478cd500dc4 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Aug 17 13:10:49 2011 -0700
+++ b/src/HOL/IsaMakefile	Wed Aug 17 14:32:48 2011 -0700
@@ -1580,7 +1580,7 @@
   HOLCF/Library/Sum_Cpo.thy \
   HOLCF/Library/HOLCF_Library.thy \
   HOLCF/Library/ROOT.ML
-	@$(ISABELLE_TOOL) usedir $(OUT)/HOLCF Library
+	@cd HOLCF; $(ISABELLE_TOOL) usedir $(OUT)/HOLCF Library
 
 
 ## HOLCF-IMP