diff options
Diffstat (limited to 'doc/main.am')
-rw-r--r-- | doc/main.am | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/doc/main.am b/doc/main.am index bbd0bd3103..3df1dd66ed 100644 --- a/doc/main.am +++ b/doc/main.am @@ -2,9 +2,7 @@ if USE_HTML html_projectdir = $(htmldir)/$(PROJECT) endif -TEXI2WWW_ARGS=\ --I $(srcdir) -I $(top_srcdir) -I $(top_builddir) \ --dirfile ../index.html \ --header rtems_header.html \ --footer rtems_footer.html \ --icons ../images +TEXI2HTML_ARGS=\ +-D use-html --split node \ +--init-file=$(top_builddir)/texi2html_init \ +-I $(srcdir) -I $(top_srcdir) -I $(top_builddir) -I . |