-I not used by @verbatiminclude?

[Simon Josefsson]

Hi.  I have:

AM_MAKEINFOFLAGS = -I $(top_builddir)/doc -I $(top_srcdir)/examples
AM_MAKEINFOHTMLFLAGS = $(AM_MAKEINFOFLAGS) \
        --no-split --number-sections --css-include=texinfo.css

to let makeinfo find, e.g., examples/example.c.  However, if I use
@verbatiminclude instead of @include, it isn't found.

Shouldn't @verbatiminclude use -I's too?

Thanks.