From 05109382d6392163f64ed5be66232a2d33f108fe Mon Sep 17 00:00:00 2001
From: rsc <rsc>
Date: Thu, 30 Aug 2007 14:12:19 +0000
Subject: [PATCH] tweak

---
 Makefile | 17 ++++++++++++++---
 runoff   |  2 ++
 2 files changed, 16 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 61d7a69..3f8755c 100644
--- a/Makefile
+++ b/Makefile
@@ -119,7 +119,8 @@ clean:
 	$(UPROGS)
 
 # make a printout
-PRINT = runoff.list $(shell grep -v '^\#' runoff.list)
+FILES = $(shell grep -v '^\#' runoff.list)
+PRINT = runoff.list $(FILES)
 
 xv6.pdf: $(PRINT)
 	./runoff
@@ -140,17 +141,27 @@ qemu: fs.img xv6.img
 # after running make dist, probably want to
 # rename it to rev0 or rev1 or so on and then
 # check in that version.
+
+EXTRA=\
+	mkfs.c ulib.c user.h cat.c echo.c forktest.c grep.c\
+	kill.c ln.c ls.c mkdir.c rm.c usertests.c wc.c zombie.c\
+	printf.c umalloc.c \
+	README dot-bochsrc *.pl toc.* runoff runoff1 runoff.list\
+
 dist:
 	rm -rf dist
 	mkdir dist
-	for i in *.c *.h *.S; \
+	for i in $(FILES); \
 	do \
 		grep -v PAGEBREAK $$i >dist/$$i; \
 	done
 	sed '/CUT HERE/,$$d' Makefile >dist/Makefile
-	cp README dot-bochsrc *.pl toc.* runoff runoff1 runoff.list dist
+	echo >dist/runoff.spec
+	cp $(EXTRA) dist
 
 dist-test:
+	rm -rf dist
+	make dist
 	rm -rf dist-test
 	mkdir dist-test
 	cp dist/* dist-test
diff --git a/runoff b/runoff
index 8ebaf13..b110ca4 100755
--- a/runoff
+++ b/runoff
@@ -202,3 +202,5 @@ else
 	cp all.ps allf.ps
 fi
 ps2pdf allf.ps ../xv6.pdf
+cd ..
+pdftops xv6.pdf xv6.ps