add nice font

This commit is contained in:
rsc 2008-08-20 18:00:24 +00:00
parent 9b62657ecd
commit 150785a1fd
2 changed files with 704 additions and 1 deletions

4
runoff
View file

@ -194,11 +194,13 @@ awk '
grep Pages: all.ps
# if we have the nice font, use it
nicefont=~rsc/lib/postscript/LucidaSans-Typewriter83
nicefont=../LucidaSans-Typewriter83
if [ -f $nicefont ]
then
echo nicefont
(sed 1q all.ps; cat $nicefont; sed '1d; s/Courier/LucidaSans-Typewriter83/' all.ps) >allf.ps
else
echo ugly font!
cp all.ps allf.ps
fi
ps2pdf allf.ps ../xv6.pdf