diff options
Diffstat (limited to 'runoff')
| -rwxr-xr-x | runoff | 5 | 
1 files changed, 4 insertions, 1 deletions
| @@ -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}'` | 
