Ok, they are removed and dumpmodules.pike has been changed to abort if compilation fails. Thus I don't think it can do any harm to have dump_modules on the documentation target anymore.
/ Martin Stjernholm, Roxen IS
Previous text:
2002-11-26 22:32: Subject: Image.SSL?
Not really.
/ Henrik Grubbström (Lysator)