diff options
Diffstat (limited to '')
-rw-r--r-- | doc/supplements/supplement.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/supplements/supplement.am b/doc/supplements/supplement.am index 752523065a..62542391d1 100644 --- a/doc/supplements/supplement.am +++ b/doc/supplements/supplement.am @@ -9,7 +9,7 @@ REPLACE2 = $(PERL) $(top_srcdir)/tools/word-replace2 html_projectdir = $(htmldir)/supplements/$(PROJECT) TEXI2WWW_ARGS=\ --I $(srcdir) -I $(top_srcdir) \ +-I $(srcdir) -I $(top_srcdir) -I $(top_builddir) \ -dirfile ../../index.html \ -header rtems_header.html \ -footer rtems_footer.html \ |