I don't see why it's wrong to do a stateful change then.
If you want `make documentation' go faster, why not just do `make dump_modules' manually first? You only have to do it once anyway.
Because everyone else has to know that to make the doc extraction go faster. I see it only as an optimization of that process, nothing more. Anyway, as Nilsson says there are not so many pikes spawned anymore, so it's not such a vital optimization as it was when I wrote it.
/ Martin Stjernholm, Roxen IS
Previous text:
2002-11-27 17:53: Subject: Image.SSL?
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!)