diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/backgammon/make_font')
-rw-r--r-- | Master/texmf-dist/source/latex/backgammon/make_font | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/Master/texmf-dist/source/latex/backgammon/make_font b/Master/texmf-dist/source/latex/backgammon/make_font deleted file mode 100644 index 82fd2af5270..00000000000 --- a/Master/texmf-dist/source/latex/backgammon/make_font +++ /dev/null @@ -1,6 +0,0 @@ -mf '\mode=localfont; mag=0.75; input bg' -gftopk bg.225gf -mf '\mode=localfont; mag=0.5; input bg' -gftopk bg.150gf -mf '\mode=localfont; mag=0.25; input bg' -gftopk bg.75gf |