diff options
| author | Sergey Poznyakoff <gray@gnu.org> | 2015-09-01 08:11:39 +0300 |
|---|---|---|
| committer | Sergey Poznyakoff <gray@gnu.org> | 2015-09-01 08:11:39 +0300 |
| commit | 03ad7eb0d9a77c0978ec322e6a8aa69e5961f524 (patch) | |
| tree | 895fc40f582a37ae678a54513d5d91be47d1137b /doc/Makefile.am | |
| parent | 7bbd29bbcd3d6d5bcef4660a06c38d586018a04f (diff) | |
| download | cpio-03ad7eb0d9a77c0978ec322e6a8aa69e5961f524.tar.gz cpio-03ad7eb0d9a77c0978ec322e6a8aa69e5961f524.tar.bz2 | |
Fix generation of manual directory
* doc/Makefile.am: Change 'manual' goal.
* doc/gendocs.sh: New file.
* doc/gendocs_template: ps output is not built.
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' |