diff --git a/Makefile b/Makefile index 6797c8c12bcb0f77b07c11d59359bf888cda6f16..e259619fd12f8e69c774ecdf5e456dd075346339 100644 --- a/Makefile +++ b/Makefile @@ -178,7 +178,7 @@ clean: # make a printout FILES = $(shell grep -v '^\#' runoff.list) -PRINT = runoff.list runoff.spec $(FILES) +PRINT = runoff.list runoff.spec README toc.hdr toc.ftr $(FILES) xv6.pdf: $(PRINT) ./runoff