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.
It's hardly surprsing that an install-target builds the thing it's supposed to install. How else would it be able to install it?
But you can go ahead and remove the dependency if it makes you feel better. It's no longer an important optimization.
I already did. Several hours ago.
/ Marcus Comstedt (ACROSS) (Hail Ilpalazzo!)
Previous text:
2002-11-27 19:11: Subject: Image.SSL?
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