Re: ２ページにまたがる文字のカラー出力

名前: nide
日時: 2003-01-20 18:43:46
IPアドレス: 160.11.72.*

>>15395
  バグっていたようです。他にもまだあるかも。

--- dvicat.awk.orig     Mon Jan 20 18:26:58 2003
+++ dvicat.awk  Mon Jan 20 18:26:35 2003
@@ -31,7 +31,7 @@
                     l = fntdefs[$2] = $0
                 }
             } else
-            if(sub(/^(fntnum|fnt%d )/, "")){ # $0が変わる
+            if(sub(/^(fntnum|fnt[1-4] )/, "")){ # $0が変わる
                 if($1 in fntmap){ # フォント番号要修正
                     k = fntmap[$1]
                     l = (k < 128) ? "fntnum"k : \

この書き込みへの返事：