More files!

2004-05-15 23:45:13 +00:00 · 2004-05-15 23:45:13 +00:00 · 13f7391e4a
commit 13f7391e4a
parent 36a9115fcb
213 changed files with 54952 additions and 0 deletions
--- a/troff/font/devutf/charlib/12
+++ b/troff/font/devutf/charlib/12
@ -0,0 +1,18 @@
+/build_12 {
+    pop
+    /optsize ptsize def
+    /osize size def
+    /ofont font def
+
+    optsize 2 div dup R exch R f
+    0 size 2 mul 3 div dup neg exch 0 exch rmoveto
+
+    (1) show
+    rmoveto
+    optsize R f
+    (\244) show
+    f
+    (2) show
+
+    optsize ofont f
+} def