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