Tom Tromey wrote:
> >>>>> "Vaclav" == Vaclav Barta <[EMAIL PROTECTED]> writes:
> Vaclav> OK, this may be a stupid question, but do all makes have
> Vaclav> include?
> In our experience, most do. However, syntax differs. But we
> could use inclusion by copying in those cases where make doesn't
> support `include'. Using `cat' will be fast.
Well then, why not always use cat? It seems unnatural to me to
generate makefiles to include (in different ways) generated
makefile fragments - why not just generate makefiles? :-)
Bye
Vasek
