On Jul 4, 2011, at 9:14 PM, Lukas Renggli wrote:

Could SUnit-Help be put into a separate package? It makes it impossible to unload the help infrastructure without also unloading SUnit.

Yes, that should be no problem to fix. -- Marcus Denker -- http://www.marcusdenker.de INRIA Lille -- Nord Europe. Team RMoD.