-
Sébastien Wilmet authored
It's a hack, as the comment explains... I'm not sure the non-recursive make was a good idea.... Hacking on a plugin was really painful, since the 'make install' is necessary, but it's not possible to install only the modified plugin, no, instead, it installs everything, including the user help containing a huge amount of files...
5c415746