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

[Olaf Weber]

Eddie Kohler writes:

> 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.

This looks like a sensible thing to do; I'm including it in web2c.

-- 
Olaf Weber

               (This space left blank for technical reasons.)