diff options
Diffstat (limited to 'runoff')
| -rwxr-xr-x | runoff | 5 | 
1 files changed, 3 insertions, 2 deletions
| @@ -82,7 +82,8 @@ awk '  		print $1, $3;  	}  ' $files >defs -9 sed -n 's/^([0-9]+ [a-zA-Z0-9_]+)(.*)$/\1/p' $files | + +perl -n -e 'print if s/^([0-9]+ [a-zA-Z0-9_]+)\(.*$/\1/;' $files |  	egrep -v ' (usage|main|if|for)$' >>defs  (  >s.defs @@ -118,7 +119,7 @@ awk '  grep Pages: all.ps  # if we have the nice font, use it -nicefont=/home/am8/rsc/plan9/sys/lib/postscript/font/LucidaSans-Typewriter83 +nicefont=~rsc/plan9/sys/lib/postscript/font/LucidaSans-Typewriter83  if [ -f $nicefont ]  then  	(sed 1q all.ps; cat $nicefont; sed '1d; s/Courier/LucidaSans-Typewriter83/' all.ps) >allf.ps | 
