type1inst

Göran Uddeborg goeran at uddeborg.pp.se
Sun Dec 1 18:36:16 CET 2002


I needed the tool type1inst, and found you had made an RPM package of
it which I picked up.

Now I found a little problem in the tool.  It assumes there are spaces
after the right paranthesis on lines like

 /Weight(Medium)readonly def

It is usually the case, but not actually required.  I've made a little
patch for this, and attach it in case you want to include it in your
official distribution.  (I have sent a little note to the author about
the problem too.)

-------------- next part --------------
--- type1inst~	2002-12-01 18:15:13.000000000 +0100
+++ type1inst	2002-12-01 18:25:39.000000000 +0100
@@ -337,7 +337,7 @@
       # I think that we should accept the manufacturers classification.
       # Try to extract this from FontName only if it's missing.
       # (It shouldn't. There are other reasons why this won't work, though.)
-      if (/\/FamilyName\s*\((.+)\)\s+readonly\s+def\s*/) {
+      if (/\/FamilyName\s*\((.+)\)\s*readonly\s+def\s*/) {
 	  $familyname = $1;
 
 	  # Convert to lower case (because case is insignificant).
@@ -348,7 +348,7 @@
       # a little cluttered, though. Perhaps it would be better to map it
       # to standard strings like you do. It's named $weight_add because
       # you already used $weight...
-      if (/\/Weight\s*\((.+)\)\s+readonly\s+def\s*/) {
+      if (/\/Weight\s*\((.+)\)\s*readonly\s+def\s*/) {
 	  $weight_add = $1;
 
 	  # Convert to lower case. Spaces are acceptable according to XLFD?
@@ -374,7 +374,7 @@
       }
       # FullName might contain useful information in determining
       # the properties of a font.
-      if (/\/FullName\s*\((.+)\)\s+readonly\s+def\s*/) {
+      if (/\/FullName\s*\((.+)\)\s*readonly\s+def\s*/) {
 	  $fullname = $1;
 
 	  # Convert to lower case
@@ -385,7 +385,7 @@
       }
       # Note : some fonts have a suspect /FontName declaration where there
       # is no space between /FontName and the name of the font itself....
-      if (/\/FontName\s*[\/\(]([^\)]+)\)?\s+def\s*/) {
+      if (/\/FontName\s*[\/\(]([^\)]+)\)?\s*def\s*/) {
 	  $fontname = $1;
 
 	  # Remove any embedded spaces


More information about the feedback mailing list