# HG changeset patch
# User mafetter@fleming.research
# Date 1100097797 0
# Node ID 68a8cfd1569223cf613c7db325d6390dd85bf77f
# Parent  a7c345b94a88d9a878f0201c879eead59fb4b66f# Parent  8a95c29bd6691ae059f6ecbdc4eb00797428e6b8
bitkeeper revision 1.1159.170.6 (41922905a6kZOeoZ84QzHWM8pnzhZA)

Merge maf46@ssh-relay1.cl.cam.ac.uk:/usr/groups/xeno/BK/xeno.bk
into fleming.research:/scratch/fleming/mafetter/xen.head


diff -r a7c345b94a88 -r 68a8cfd15692 xen/Makefile
--- a/xen/Makefile	Wed Nov 10 13:30:12 2004 +0000
+++ b/xen/Makefile	Wed Nov 10 14:43:17 2004 +0000
@@ -26,7 +26,7 @@ install: $(TARGET)
 	install -m0644 include/public/COPYING $(prefix)/usr/include/xen
 
 dist: $(TARGET)
-	$(MAKE) prefix=`pwd`/../install dist=yes install
+	$(MAKE) prefix=`pwd`/../dist/install dist=yes install
 
 clean:
 	$(MAKE) -C figlet clean