>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:
Martin> On Tue, May 15, 2007 at 04:59:12PM +0200, Jean-Marc Lasgouttes Martin> wrote: >> >>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes: Martin> I left the figure/section thing alone. Someone who knows these Martin> things may fix this, if fixing is what it needs. >> Fair enough. >> >> JMarc Martin> One more brush-up attached. Again, no substitute for RTFM, but Martin> may prevent some head-scratching. Martin> OK to commit? (Obviously risk-free, but do we want it?) If you are brusing up, add a comment above the figure counter that it should probably be deleted. JMarc