From dc4f9bcdd0b85f67813752a86c2c68526b559bf3 Mon Sep 17 00:00:00 2001
From: rsc <devnull@localhost>
Date: Sun, 19 Mar 2006 06:03:19 +0000
Subject: new fonts

---
 man/fonts | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

(limited to 'man')

diff --git a/man/fonts b/man/fonts
index 238145da..ce45b0d6 100755
--- a/man/fonts
+++ b/man/fonts
@@ -3,8 +3,28 @@
 # MAN=mantimes
 # FONTS=''
 MAN=man
+MANFONT=luxi
+switch($MANFONT){
+
+case lucida
 FONTS='.fp 1 R LucidaSans
 .fp 2 I LucidaSansI
 .fp 3 B LucidaSansB
 .fp 5 L LucidaCW
 '
+
+case luxi
+FONTS='.fp 1 R LuxiSans
+.fp 2 I LuxiSans-Oblique
+.fp 3 B LuxiSans-Bold
+.fp 5 L LuxiMono
+'
+
+case dejavu
+FONTS='.fp 1 R DejaVuSans
+.fp 2 I DejaVuSansOblique
+.fp 3 B DejaVuSansBold
+.fp 5 L DejaVuMonoSans
+'
+
+}
-- 
cgit v1.2.3