diff options
author | Karl Berry <karl@freefriends.org> | 2008-11-18 19:34:46 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-11-18 19:34:46 +0000 |
commit | 92bb37dfe4d1b0f624e9a2161693982f504b6f88 (patch) | |
tree | 9f2d65646762d8934d020ef70a3ae1dede89713e /Master/texmf-dist/doc | |
parent | 1d507f4bdff0b9077f760a22c3f1d5fd1bbdc0c3 (diff) |
bbm license (and other) update, removing files now in bbm-macros
git-svn-id: svn://tug.org/texlive/trunk@11348 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc')
-rw-r--r-- | Master/texmf-dist/doc/fonts/bbm/README (renamed from Master/texmf-dist/doc/fonts/bbm/bbm.readme) | 4 | ||||
-rw-r--r-- | Master/texmf-dist/doc/fonts/bbm/gfbatch.batch | 4 | ||||
-rw-r--r-- | Master/texmf-dist/doc/fonts/bbm/mfbatch.batch | 4 | ||||
-rw-r--r-- | Master/texmf-dist/doc/fonts/bbm/test.tex | 4 |
4 files changed, 16 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/fonts/bbm/bbm.readme b/Master/texmf-dist/doc/fonts/bbm/README index 7b5e7f5af83..b297f0badb3 100644 --- a/Master/texmf-dist/doc/fonts/bbm/bbm.readme +++ b/Master/texmf-dist/doc/fonts/bbm/README @@ -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. + %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% A mathematician often needs special symbols to designate sets such as the 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) diff --git a/Master/texmf-dist/doc/fonts/bbm/mfbatch.batch b/Master/texmf-dist/doc/fonts/bbm/mfbatch.batch index 6989d63bee0..b3523523bcd 100644 --- a/Master/texmf-dist/doc/fonts/bbm/mfbatch.batch +++ b/Master/texmf-dist/doc/fonts/bbm/mfbatch.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. +# mf "\mode=localfont; scrollmode; input bbm10" mf "\mode=localfont; scrollmode; input bbm12" mf "\mode=localfont; scrollmode; input bbm17" diff --git a/Master/texmf-dist/doc/fonts/bbm/test.tex b/Master/texmf-dist/doc/fonts/bbm/test.tex index a17cdff65aa..5589527d288 100644 --- a/Master/texmf-dist/doc/fonts/bbm/test.tex +++ b/Master/texmf-dist/doc/fonts/bbm/test.tex @@ -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. +% \let\noinit!\input testfont \def\fontname{bbm17 }\startfont\table \def\fontname{bbm12 }\startfont\table |