diff options
| author | rsc <rsc> | 2008-08-20 18:00:24 +0000 |
|---|---|---|
| committer | rsc <rsc> | 2008-08-20 18:00:24 +0000 |
| commit | 150785a1fdfd8b6d81ec60668932d547b887092e (patch) | |
| tree | 396df00f7a1143b74fc4043e0a4b932149ca9398 /runoff | |
| parent | 9b62657ecdbbdafda3a2e7a27ff50195468681b3 (diff) | |
| download | xv6-labs-150785a1fdfd8b6d81ec60668932d547b887092e.tar.gz xv6-labs-150785a1fdfd8b6d81ec60668932d547b887092e.tar.bz2 xv6-labs-150785a1fdfd8b6d81ec60668932d547b887092e.zip | |
add nice font
Diffstat (limited to 'runoff')
| -rwxr-xr-x | runoff | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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 |