summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 8f820e1..37924e2 100644
--- a/Makefile
+++ b/Makefile
@@ -159,7 +159,7 @@ clean:
# make a printout
FILES = $(shell grep -v '^\#' runoff.list)
-PRINT = runoff.list $(FILES)
+PRINT = runoff.list runoff.spec $(FILES)
xv6.pdf: $(PRINT)
./runoff