From 150785a1fdfd8b6d81ec60668932d547b887092e Mon Sep 17 00:00:00 2001
From: rsc <rsc>
Date: Wed, 20 Aug 2008 18:00:24 +0000
Subject: add nice font

---
 runoff | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'runoff')

diff --git a/runoff b/runoff
index b110ca4..d0e11c5 100755
--- a/runoff
+++ b/runoff
@@ -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
-- 
cgit v1.2.3