Re: [PPL-devel] [Doxygen-users] Patch for Doxygen's src/latexgen.cpp