diff options
Diffstat (limited to 'Master/texmf-dist/doc/fonts/bbm/gfbatch.batch')
| -rw-r--r-- | Master/texmf-dist/doc/fonts/bbm/gfbatch.batch | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/fonts/bbm/gfbatch.batch b/Master/texmf-dist/doc/fonts/bbm/gfbatch.batch index 642e4bdec67..ef635973bf0 100644 --- a/Master/texmf-dist/doc/fonts/bbm/gfbatch.batch +++ b/Master/texmf-dist/doc/fonts/bbm/gfbatch.batch @@ -1,3 +1,7 @@ +# Copyright 1993 Gilles F. Robert. +# You may freely use, modify and/or distribute this file. +# This statement added 2008/11/14 by Clea F. Rees on the basis of the email exchange archived at http://lists.debian.org/debian-tex-maint/2008/05/msg00040.html. +# # This is a shell script that produces all PK files from GF files # produced by mfbatch.batch, assuming that 'localfont' is a 300dpi laser. # Gilles F. ROBERT (29-03-93) |