include enhancements

[Reid Madsen]

We've modified our version of GNUmake to support:

        @include filename

which is just like 'include' but without the pesky
warning when the file does not exist, but which
will be created by:

        filename:
            blah blah > filename

Using '-include' has undesireable side effects in that
it seems to tell GNUmake that you don't care whether
this targets that depend on filename should also be
updated after 'filename' is updated.

Something to consider for future releases -- the semantic
is similar to:

        target:
            @echo "foo"

Reid Madsen

-- 
Reid Madsen                             address@hidden                      
Senior Member, Tech. Staff              (469) 357-8389 (Desk)
I2 Technologies
--
On a crusade to eliminate dead code ...