diff options
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 6fcf04a..27d2e5b 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -26,9 +26,14 @@ if PU_RMT_COND RMT_8=rmt.8 endif -EXTRA_DIST = gendocs_template mt.1 rmt.8 +EXTRA_DIST = gendocs.sh gendocs_template mt.1 rmt.8 + +GENDOCS=$(srcdir)/gendocs.sh # Make sure you set TEXINPUT manual: + rm -rf manual TEXINPUTS=$(srcdir):$(top_srcdir)/scripts:$$TEXINPUTS \ - gendocs.sh cpio 'GNU cpio manual' + MAKEINFO="$(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS)" \ + TEXI2DVI="texi2dvi -t @finalout" \ + $(GENDOCS) --no-copy-images $(PACKAGE) '$(PACKAGE_NAME) manual' |