diff options
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 55ddcf46..b8c90202 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -138,9 +138,9 @@ check-docs: clean-local: rm -rf manual -GENDOCS=gendocs.sh +GENDOCS=$(srcdir)/gendocs.sh -TEXI2DVI=texi2dvi -t '@set $(RENDITION)' -E +TEXI2DVI=texi2dvi -E # Make sure you set TEXINPUTS # Usual value is: @@ -148,5 +148,8 @@ TEXI2DVI=texi2dvi -t '@set $(RENDITION)' -E manual: TEXINPUTS=$(srcdir):$(top_srcdir)/build-tex:$(TEXINPUTS) \ MAKEINFO="$(MAKEINFO) $(MAKEINFOFLAGS)" \ - TEXI2DVI="$(TEXI2DVI) -t @finalout" \ + TEXI2DVI="$(TEXI2DVI) -t '@set DISTRIB' -t @finalout" \ $(GENDOCS) --texi2html tar 'GNU tar manual' + +manual-rebuild: clean-local manual + |