runoff tweaks
This commit is contained in:
parent
e9d2250e15
commit
2a55cc5501
4 changed files with 11 additions and 9 deletions
5
runoff
5
runoff
|
@ -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
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue