diff options
Diffstat (limited to 'troff/font/devutf/charlib/12')
-rw-r--r-- | troff/font/devutf/charlib/12 | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/troff/font/devutf/charlib/12 b/troff/font/devutf/charlib/12 new file mode 100644 index 00000000..7f9f5ce3 --- /dev/null +++ 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 |