diff options
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/cb/gomi.mf')
| -rw-r--r-- | Master/texmf-dist/fonts/source/public/cb/gomi.mf | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Master/texmf-dist/fonts/source/public/cb/gomi.mf b/Master/texmf-dist/fonts/source/public/cb/gomi.mf new file mode 100644 index 00000000000..186029cf5f2 --- /dev/null +++ b/Master/texmf-dist/fonts/source/public/cb/gomi.mf @@ -0,0 +1,9 @@ +% Copyright (C) 1998, 1999 Claudio Beccari +% +% Outline font based on grmi +% +boolean outlining; +outlining:=true; +extra_endchar:=extra_endchar & "outline;"; +input grmi + |