diff --git a/Makefile b/Makefile index 8f820e1e7ef448ba50b7b6bb0a413b22780f224a..37924e228c78ca4012807d1adb0929942276697b 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