Merge branch 'riscv' into riscv-proc

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}'`