summaryrefslogtreecommitdiff
path: root/runoff
diff options
context:
space:
mode:
authorFrans Kaashoek <[email protected]>2019-07-01 13:02:24 -0400
committerFrans Kaashoek <[email protected]>2019-07-01 13:02:24 -0400
commitc34bd3d1671f1f6e1b50614c22fbd0c83f504959 (patch)
tree009c760458d5ab670dcb4489ac6bb3b1e4431541 /runoff
parent2c0338fe426401e3604ca5ec10d93c4f7512191b (diff)
downloadxv6-labs-c34bd3d1671f1f6e1b50614c22fbd0c83f504959.tar.gz
xv6-labs-c34bd3d1671f1f6e1b50614c22fbd0c83f504959.tar.bz2
xv6-labs-c34bd3d1671f1f6e1b50614c22fbd0c83f504959.zip
Checkpoint some progress compiling xv6.pdf
Diffstat (limited to 'runoff')
-rwxr-xr-xrunoff5
1 files changed, 4 insertions, 1 deletions
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}'`