diff --git a/Makefile b/Makefile
index 2b0c61a2d7de6b2bf16df101ee649a7b0ec476fb..1e73ee1c0e79a7c7aece0f8b7c9f17b29c6bf7bc 100644
--- a/Makefile
+++ b/Makefile
@@ -170,7 +170,7 @@ EXTRA=\
 dist:
 	rm -rf dist
 	mkdir dist
-	for i in $(FILES); \
+	for i in $(FILES) .gdbinit.tmpl; \
 	do \
 		grep -v PAGEBREAK $$i >dist/$$i; \
 	done
@@ -193,6 +193,5 @@ dist-test:
 tar:
 	rm -rf /tmp/xv6
 	mkdir -p /tmp/xv6
-	cp dist/* /tmp/xv6
+	cp dist/* dist/.gdbinit.tmpl /tmp/xv6
 	(cd /tmp; tar cf - xv6) | gzip >xv6-rev3.tar.gz
-
diff --git a/xv6-rev3.tar.gz b/xv6-rev3.tar.gz
index 8f8e25036c0907ea129f2318f42398c38bc0bdc6..5d5a0f8cbb60dcbc7797b18b3f82400e2cacdcdb 100644
Binary files a/xv6-rev3.tar.gz and b/xv6-rev3.tar.gz differ