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.
