diff options
Diffstat (limited to 'Master/texmf-dist/doc/fonts/dad/make-dad-font.pl')
-rw-r--r-- | Master/texmf-dist/doc/fonts/dad/make-dad-font.pl | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/fonts/dad/make-dad-font.pl b/Master/texmf-dist/doc/fonts/dad/make-dad-font.pl index f082d2d21e5..82fb82a37c6 100644 --- a/Master/texmf-dist/doc/fonts/dad/make-dad-font.pl +++ b/Master/texmf-dist/doc/fonts/dad/make-dad-font.pl @@ -1,3 +1,17 @@ +# %%% ==================================================================== +# %%% @Perl-file{ +# %%% filename = "make-dad-font.pl", +# %%% version = "1.1", +# %%% date = "2014/10/11", +# %%% author = "Yannis Haralambous", +# %%% copyright = "This file is part of the dad package, released +# %%% under the LPPL." +# %%% keywords = "TeX, file header, +# %%% supported = "yes", +# %%% abstract = "This is the Perl script that creates +# %%% the dad fonts out of their AFM and ADJUST files.", +# %%% } +# %%% ==================================================================== $MAXHEIGHT=560; $MAXDEPTH=-360; if ($ARGV[0] ne "") { $STYLE_="-".$ARGV[0]; $STYLE=$ARGV[0]; } else { $STYLE=""; } |