diff -r a5a3f48e92c9 tools/Makefile
--- a/tools/Makefile	Wed Oct 04 19:00:11 2006 +0100
+++ b/tools/Makefile	Thu Oct 26 11:48:20 2006 -0400
@@ -38,7 +38,7 @@ install: check
 		$(MAKE) -C $$subdir $@; \
 	done
 	$(MAKE) ioemuinstall
-	$(INSTALL_DIR) -p $(DESTDIR)/var/xen/dump
+	$(INSTALL_DIR) -p $(DESTDIR)/var/lib/xen/dump
 	$(INSTALL_DIR) -p $(DESTDIR)/var/log/xen
 
 .PHONY: clean
diff -r a5a3f48e92c9 tools/debugger/gdb/README
--- a/tools/debugger/gdb/README	Wed Oct 04 19:00:11 2006 +0100
+++ b/tools/debugger/gdb/README	Thu Oct 26 11:48:34 2006 -0400
@@ -33,6 +33,6 @@ To debug a crashed domU guest:
  1. Add '(enable-dump yes)' to /etc/xen/xend-config.sxp before
     starting xend.
  2. When the domain crashes, a core file is written to
-    '/var/xen/dump/<domain-name>.<domain-id>.core'.
+    '/var/lib/xen/dump/<domain-name>.<domain-id>.core'.
  3. Run 'gdbserver-xen 127.0.0.1:9999 --file <core-file>'.
  4. Connect to the server as for a running guest.
diff -r a5a3f48e92c9 tools/python/xen/xend/XendDomainInfo.py
--- a/tools/python/xen/xend/XendDomainInfo.py	Wed Oct 04 19:00:11 2006 +0100
+++ b/tools/python/xen/xend/XendDomainInfo.py	Thu Oct 26 11:47:46 2006 -0400
@@ -986,7 +986,7 @@ class XendDomainInfo:
         try:
             if not corefile:
                 this_time = time.strftime("%Y-%m%d-%H%M.%S", time.localtime())
-                corefile = "/var/xen/dump/%s-%s.%s.core" % (this_time,
+                corefile = "/var/lib/xen/dump/%s-%s.%s.core" % (this_time,
                                   self.info['name'], self.domid)
                 
             if os.path.isdir(corefile):