Angus Leeming wrote: > Either/any. Something simple that doesn't make life difficult for you and > allows us to parse your messages robustly.
What about the following patch? a) Page numbers from dvipng always match "\[[\d]+" b) Glyph numbers from mktexpk always match "\[[\d]+\]". c) No other numbers in dvipng's output will match "\[[\d]+" d) Since you use --depth, page numbers from dvipng will always match "\[[\d]+[^]]", that is, will not be followed by "\]". The provided patch searches _first_ for "\[([\d]+)[^]]" and _then_ for "depth=([\d]+) height=([\d]+)". Bonus: will work with any previous version of dvipng. But your point is that another (future) helper called from within dvipng might not heed this, or? /JÅ
