diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/main.am | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/main.am b/doc/main.am index 3df1dd66ed..c19f7e6a25 100644 --- a/doc/main.am +++ b/doc/main.am @@ -4,5 +4,13 @@ endif TEXI2HTML_ARGS=\ -D use-html --split node \ +-o ./ \ +--top-file index.html \ --init-file=$(top_builddir)/texi2html_init \ -I $(srcdir) -I $(top_srcdir) -I $(top_builddir) -I . + +TEXI2ANY_ARGS=\ +--html -D use-html --split node \ +-o ./ \ +--init-file=$(top_builddir)/texi2any_init \ +-I $(srcdir) -I $(top_srcdir) -I $(top_builddir) -I . |