> Our dependencies are nothing short of annoying. If one can only > reliably build after make *-clean there is no point in using Make.
+1
In case it is too complicated to get complete dependencies (I think
this was the argument then when it was simplified by Han-Wen) maybe we
can get a new target
make generated-files
that takes care of those files that are not handled in a standard
`make all` or `make doc` call.
Werner
