On Wed, 19 Dec 2001, Pierre Abbat wrote: > xdvi.bin: special "color push Black" not implemented > xdvi.bin: special "color pop" not implemented > xdvi.bin: special "color push rgb 1.000 0.000 0.000" not implemented > xdvi.bin: special "color pop" not implemented > xdvi.bin: special "color push Black" not implemented > xdvi.bin: special "color pop" not implemented
As Joaquin said, if you dvips it, it should be fine. Colour is a bit of a hack with dvi... There are ways of making it work in xdvi, but then it won't work in dvips, I think. Kind of suck. pat
