diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/latex-tipps-und-tricks/mfpic.pl')
-rw-r--r-- | Master/texmf-dist/doc/latex/latex-tipps-und-tricks/mfpic.pl | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/Master/texmf-dist/doc/latex/latex-tipps-und-tricks/mfpic.pl b/Master/texmf-dist/doc/latex/latex-tipps-und-tricks/mfpic.pl deleted file mode 100644 index d96ed128b8a..00000000000 --- a/Master/texmf-dist/doc/latex/latex-tipps-und-tricks/mfpic.pl +++ /dev/null @@ -1,15 +0,0 @@ -# -# mfpic.pl [-r <res>] [-m <mode>] <file> -# -use Getopt::Long; - -GetOptions("r=i", \$res, "m=s", \$mode); -$file = shift; -$res = 600 unless ($res>0); -$mode = "ljfour" unless ($mode); - -system("mf \\mode=$mode; input $file"); -system("gftopk $file.${res}gf $file.pk"); -system("copy $file.pk ". - "c:\\texmf\\fonts\\pk\\$mode". - "\\public\\misc\\dpi$res"); |