Am Sun, 04 Jun 2017 22:16:42 +0200 schrieb Romain Naour: > -DOXYGEN_VERSION = 1.8.9.1 > +DOXYGEN_VERSION = 1.8.13 Hi, for the version bump we already have http://patchwork.ozlabs.org/patch/770546/ ;) Regards, Bernd