diff options
author | Sergey Poznyakoff <gray@gnu.org> | 2015-03-01 23:08:44 +0200 |
---|---|---|
committer | Sergey Poznyakoff <gray@gnu.org> | 2015-03-01 23:08:44 +0200 |
commit | b0d2697f689348976da7aefd506b3d8b6fdee420 (patch) | |
tree | 84fe8a7b71536d4cdbbd57c8833160006b46cf1c /doc/Makefile.am | |
parent | 891bb67de28c778827d4841b04d440caac8be18a (diff) | |
download | pies-b0d2697f689348976da7aefd506b3d8b6fdee420.tar.gz pies-b0d2697f689348976da7aefd506b3d8b6fdee420.tar.bz2 |
Switch to Texinfo 5.0
* doc/Config: Rewrite.
* doc/Makefile.am: Use Makeinfo 5 instead of texi2htm
* doc/gendocs_template: Ps is not built
* imprimatur: Upgrade.
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 3ec4214..ce7ce64 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -74,9 +74,10 @@ master-menu: imprimatur-master-menu untabify: imprimatur-untabify final: imprimatur-final -GENDOCS=gendocs.sh +GENDOCS=$(srcdir)/gendocs.sh +EXTRA_DIST += gendocs.sh -TEXI2DVI=texi2dvi -t '@set $(RENDITION)' -E +TEXI2DVI=texi2dvi -t '@set $(RENDITION)' -I $(top_srcdir)/imprimatur .PHONY: manual man-tar # Make sure you set TEXINPUTS. @@ -86,8 +87,7 @@ manual: TEXINPUTS=$(srcdir):$(top_srcdir)/build-aux:$(TEXINPUTS) \ MAKEINFO="$(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS)" \ TEXI2DVI="$(TEXI2DVI) -t @finalout" \ - TEXI2HTML="texi2html $(AM_MAKEINFOFLAGS)" \ - $(GENDOCS) --texi2html $(PACKAGE) '$(PACKAGE_NAME) manual' + $(GENDOCS) --no-copy-images $(PACKAGE) '$(PACKAGE_NAME) manual' manual.tar.bz2: manual tar cfj manual.tar.bz2 manual |