diff --git a/doc/Makefile.am b/doc/Makefile.am index 232d2ea3..47c8ea84 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -82,5 +82,5 @@ manual: TEXINPUTS=$(srcdir):$(top_srcdir)/build-tex:$(TEXINPUTS) \ MAKEINFO="$(MAKEINFO) $(MAKEINFOFLAGS)" \ TEXI2DVI="$(TEXI2DVI) -t @finalout" \ - $(GENDOCS) tar 'GNU tar manual' + $(GENDOCS) --texi2html tar 'GNU tar manual'