From c34bd3d1671f1f6e1b50614c22fbd0c83f504959 Mon Sep 17 00:00:00 2001 From: Frans Kaashoek Date: Mon, 1 Jul 2019 13:02:24 -0400 Subject: Checkpoint some progress compiling xv6.pdf --- runoff | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'runoff') diff --git a/runoff b/runoff index be362d0..c6580ca 100755 --- a/runoff +++ b/runoff @@ -12,7 +12,10 @@ pad() # create formatted (numbered) files mkdir -p fmt -rm -f fmt/* +mkdir -p fmt/kernel +mkdir -p fmt/user +rm -f fmt/kernel/* +rm -f fmt/user/* cp README fmt echo > fmt/blank files=`grep -v '^#' runoff.list | awk '{print $1}'` -- cgit v1.2.3