It depends on what you think is "asked for". There are numerous other targets that have more far reaching effects than one might expect at first, e.g. both the install and documentation targets can build a pike.
Better than them having to know that typing `make documentation' will change the future build process of their pike, which is really counter-intuitive.
That's not bothersome if the process doesn't bug out, and now those bugs have been located and fixed. It's just a cache like the kept object files; the only difference is that it's optional.
But you can go ahead and remove the dependency if it makes you feel better. It's no longer an important optimization.
/ Martin Stjernholm, Roxen IS
Previous text:
2002-11-27 18:46: Subject: Image.SSL?
I don't see why it's wrong to do a stateful change then.
Because it wasn't asked for. There is a separate target to ask for it, so use it.
Because everyone else has to know that to make the doc extraction go faster.
Better than them having to know that typing `make documentation' will change the future build process of their pike, which is really counter-intuitive.
/ Marcus Comstedt (ACROSS) (Hail Ilpalazzo!)