Angus Leeming wrote: > Do you really mean "[ \[\(<].*?depth"? Translates as > a single space, [, ( or < character followed by (zero or more "any > characters") zero or one times followed by "depth". > > I don't think so...
I do. What I meant was I havent (until now) made sure there is a space after the page number. So to make this work with present version(s) of dvipng I had to come up with something. You mean mktexpk and newlines, right? (gs won't get to print anything on stdout.) So I'm thinking about the possibility of outputting the page number just before the "depth" text. Problem is, the page number is output before the initial run is made, the run that calculates the size of the image. And if a font generation occurs, I really really need that to know the sizes of the glyphs. I could output "[page" after the initial run but then I'd lose the nice structure of things needed in the page being inside the []. Oh, bugger. What about a simple but perhaps crude way out: a --page switch, that will make the thing output "page=23414" just before "depth=12"? Downside: things will stop working with earlier versions because this will be interpreted as -p0 : "start at page 0" and there is no page 0 in most DVIs, so no output. Bah. Perhaps I should just output "page=" as soon as --depth or --height is in effect. /JÅ _______________________________________________ auctex-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/auctex-devel
