[tex-k] [PATCH] update to dvitomp color support

[Eddie Kohler]

Hi all,

This trivial patch to dvitomp.ch allows dvitomp to process colors defined by 
\usepackage[usenames]{color}, as well as \usepackage{colordvi}.  The problem was 
that the 'color' package adds an extra space to the \specials: 'color push  Red' 
instead of 'color push Red'.  The patch ignores any extra spaces.

I hope this patch is accepted before the new tetex goes out.

Thanks!!
Eddie

--- dvitomp.ch	2004-07-14 10:35:10.000000000 -0700
+++ /home/kohler/fsrc/web2c-7.4.5/texk/web2c/dvitomp.ch	2004-08-27 
18:55:10.493753088 -0700
@@ -719,10 +698,13 @@
    abort('color stack overflow');
  incr(color_stack_depth);
  { I don't know how to do string operations in Pascal. }
-for k := 11 to len - 1 do begin
-  buf[k - 11] := xchr[buf[k]];
+{ Skip over extra spaces after 'color push'. }
+l := 11;
+while (l < len - 1) and (buf[l] = " ") do incr(l);
+for k := l to len - 1 do begin
+  buf[k - l] := xchr[buf[k]];
  end;
-buf[len - 11] := 0;
+buf[len - l] := 0;
  l := 1; r := num_named_colors;
  found := false;
  while (l <= r) and not found do begin