diff options
| author | Frans Kaashoek <[email protected]> | 2011-09-27 13:00:20 -0400 |
|---|---|---|
| committer | Frans Kaashoek <[email protected]> | 2011-09-27 13:00:20 -0400 |
| commit | 0ca1c0407d3da826ad8415e3204e1c53e394e204 (patch) | |
| tree | 197b25b7f02b071369d2aa452848521e327a3f39 /runoff | |
| parent | 9b972c06b172531e5792fc0e05d83319d325e0ee (diff) | |
| parent | 1e6f0146d2e194045188ba24826eaaaee05605cb (diff) | |
| download | xv6-labs-0ca1c0407d3da826ad8415e3204e1c53e394e204.tar.gz xv6-labs-0ca1c0407d3da826ad8415e3204e1c53e394e204.tar.bz2 xv6-labs-0ca1c0407d3da826ad8415e3204e1c53e394e204.zip | |
Merge branch 'master' of git+ssh://amsterdam.csail.mit.edu/home/am0/6.828/xv6
Diffstat (limited to 'runoff')
| -rwxr-xr-x | runoff | 12 |
1 files changed, 9 insertions, 3 deletions
@@ -223,11 +223,17 @@ awk ' grep Pages: all.ps # if we have the nice font, use it -nicefont=../LucidaSans-Typewriter83 -if [ -f $nicefont ] +nicefont=LucidaSans-Typewriter83 +if [ ! -f ../$nicefont ] +then + if git cat-file blob font:$nicefont > ../$nicefont~; then + mv ../$nicefont~ ../$nicefont + fi +fi +if [ -f ../$nicefont ] then echo nicefont - (sed 1q all.ps; cat $nicefont; sed '1d; s/Courier/LucidaSans-Typewriter83/' all.ps) >allf.ps + (sed 1q all.ps; cat ../$nicefont; sed "1d; s/Courier/$nicefont/" all.ps) >allf.ps else echo ugly font! cp all.ps allf.ps |