diff options
Diffstat (limited to '')
-rw-r--r-- | doc/main.am | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/doc/main.am b/doc/main.am index 24ad285c11..b5dde0910c 100644 --- a/doc/main.am +++ b/doc/main.am @@ -1,11 +1,8 @@ -AM_MAKEINFOFLAGS = -I $(top_builddir) -I $(top_srcdir) -TEXI2DVI = @TEXI2DVI@ -I $(top_builddir) -I $(top_srcdir) -TEXI2PDF = @TEXI2PDF@ -I $(top_builddir) -I $(top_srcdir) html_projectdir = $(htmldir)/$(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 \ |