Re: FoilTeX polish

[Jean-Marc Lasgouttes]

>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:

Martin> Needed this myself... attached.

This looks good to me. An update to the docs would be nice, though.

JMarc