Vivian Barty-Taylor wrote:
I've had a look at making this correction using a sed script, but
can't find anything in the documentation relating to the handling
of hexadecimal numbers. Does anyone have any ideas, before I write
a script manually correcting each grob? Does anyone know where the
SVG output is generated and in what language? I might be able to
fiddle with the source code too, as it seems to be quite a
straightforward adjustment.
Hi Vivian,
I'm not sure about sed, but this would probably be trivial in (g)
awk. Are you familiar with that language at all?
--
Benjamin D. Esham | address@hidden | bdesham128 (AIM)
“Given that sooner or later we're all just going to die, what's
the point of learning about integers?” — Calvin