bguq (14aug12)

git-svn-id: svn://tug.org/texlive/trunk@27401 c570f23f-e606-0410-a88d-b1316a301751

11 files changed, 9 insertions, 5 deletions

diff --git a/Master/texmf-dist/fonts/source/public/bguq/bguq.mf b/Master/texmf-dist/fonts/source/public/bguq/bguq.mf
index 36b6bacb691..e5d72aefe96 100644
--- a/Master/texmf-dist/fonts/source/public/bguq/bguq.mf
+++ b/Master/texmf-dist/fonts/source/public/bguq/bguq.mf
@@ -2,7 +2,7 @@
 % universal quantifier (the code being the same as for the cm
 % "blank space" symbol).
 %
-% $Id: bguq.mf,v 1.5 2012/07/18 19:05:04 jjg Exp $
+% $Id: bguq.mf,v 1.6 2012/07/22 23:12:01 jjg Exp $
 
 % from mflogo/logo.mf, modified to have a variable superness
 
@@ -36,9 +36,9 @@ beginchar(oct"040", 14.4u# - 2bglt#, 0, desc_depth#);
   % stroke which is noticably squarer than an ellipse
 
   numeric super;
-  super := 0.78;
+  super := 0.77;
     
-  y1 = y3 = 0;
+  y1 = y3 = bglt/2;
   y2 + d = bglt/2;
   x1 = w - x3 = -bglt/2;
   x2 = w/2;
@@ -48,7 +48,8 @@ beginchar(oct"040", 14.4u# - 2bglt#, 0, desc_depth#);
 
   % clean off the ends of the (round pen) stroke  
 
-  unfill (x1-bglt/2,y1) --
+  unfill
+    (x1-bglt/2,y1) --
     (x3+bglt/2,y3) --
     (x3+bglt/2,y3+bglt/2) --
     (x1-bglt/2,y1+bglt/2) --
diff --git a/Master/texmf-dist/fonts/source/public/bguq/bguq10.mf b/Master/texmf-dist/fonts/source/public/bguq/bguq10.mf
index 49731d45615..47f93acc271 100644
--- a/Master/texmf-dist/fonts/source/public/bguq/bguq10.mf
+++ b/Master/texmf-dist/fonts/source/public/bguq/bguq10.mf
@@ -1,6 +1,9 @@
 % bguq for 10pt fraktur
-% $Id: bguq10.mf,v 1.2 2012/07/16 21:51:50 jjg Exp $
+% $Id: bguq10.mf,v 1.3 2012/07/22 23:12:11 jjg Exp $
+
+% this a formality, we only generate for 10pt (as fraktur)
 font_size 10pt#;
+
 % values taken from gothic/xxfrak.mf
 u#          := 20/36pt#;  % unit width
 x_height#   := 167/36pt#; % height of lowercase without ascenders
diff --git a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t04.pfb b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t04.pfb
index 613cc9e282d..5c384c1d1f5 100644
--- a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t04.pfb
+++ b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t04.pfb
diff --git a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t05.pfb b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t05.pfb
index 6f06a9de52a..34ea0c4baf6 100644
--- a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t05.pfb
+++ b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t05.pfb
diff --git a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t06.pfb b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t06.pfb
index f784789e677..8a3745deee8 100644
--- a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t06.pfb
+++ b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t06.pfb
diff --git a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t07.pfb b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t07.pfb
index 7ddd789c9ce..ea35b8da4fc 100644
--- a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t07.pfb
+++ b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t07.pfb
diff --git a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t08.pfb b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t08.pfb
index 1dad3ddbdb4..11189c68ddd 100644
--- a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t08.pfb
+++ b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t08.pfb
diff --git a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t09.pfb b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t09.pfb
index a9d488d00c8..01825f72529 100644
--- a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t09.pfb
+++ b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t09.pfb
diff --git a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t10.pfb b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t10.pfb
index cbce73c439a..68f9b21c074 100644
--- a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t10.pfb
+++ b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t10.pfb
diff --git a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t11.pfb b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t11.pfb
index b8c89f9b3eb..94df91ebc4b 100644
--- a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t11.pfb
+++ b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t11.pfb
diff --git a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t12.pfb b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t12.pfb
index ff6400d04c4..f6ee7f8cd27 100644
--- a/Master/texmf-dist/fonts/type1/public/bguq/bguq10t12.pfb
+++ b/Master/texmf-dist/fonts/type1/public/bguq/bguq10t12.pfb