From 2c73068e825060d188fd9519ebb5bc59fa39c8b2 Mon Sep 17 00:00:00 2001 From: Frans Kaashoek Date: Thu, 30 Aug 2018 15:45:16 -0400 Subject: Delete a patch Adjust typesetting of code --- runoff | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'runoff') diff --git a/runoff b/runoff index 26593af..be362d0 100755 --- a/runoff +++ b/runoff @@ -14,6 +14,7 @@ pad() mkdir -p fmt rm -f fmt/* cp README fmt +echo > fmt/blank files=`grep -v '^#' runoff.list | awk '{print $1}'` n=99 for i in $files @@ -214,7 +215,9 @@ awk ' # pr -t -2 t.defs | ../pr.pl -h "definitions" | pad pr -t -l50 -2 refs | ../pr.pl -h "cross-references" | pad # pr.pl -h "definitions" -2 t.defs | pad - # pr.pl -h "cross-references" -2 refs | pad + # pr.pl -h "cross-references" -2 refs | pad + ../pr.pl blank # make sheet 1 start on left page + ../pr.pl blank for i in $files do ../pr.pl -h "xv6/$i" $i -- cgit v1.2.3