4 May
2004
4 May
'04
5:25 p.m.
It is wrong to have the documentation target do dump_modules, since it triggers a stateful change in the build tree.
If you want `make documentation' go faster, why not just do `make dump_modules' manually first? You only have to do it once anyway.
/ Marcus Comstedt (ACROSS) (Hail Ilpalazzo!)
Previous text:
2002-11-27 17:37: Subject: Image.SSL?
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