On 20 Sep 2014, at 14:42 , René J.V. Bertin <rjvbertin at gmail.com> wrote: > Erm, no. Not in the current doxygen port at least, which has a +latex variant. That means someone must have taken care of it in the meantime! :-) I remember a discussion about this with Jeremy Lavergne a while ago…