diff options
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 5283a88..a3b0563 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -75,8 +75,8 @@ master-menu: imprimatur-master-menu untabify: imprimatur-untabify final: imprimatur-final -GENDOCS=$(srcdir)/gendocs.sh --no-copy-images --html --init-file='$(abs_srcdir)/html.init' -EXTRA_DIST += gendocs.sh +GENDOCS = perl gendocs.pl +EXTRA_DIST += gendocs.pl TEXI2DVI=texi2dvi -t '@set $(RENDITION)' -I $(top_srcdir)/imprimatur @@ -88,9 +88,6 @@ manual: TEXINPUTS=$(srcdir):$(top_srcdir)/build-aux:$(TEXINPUTS) \ MAKEINFO="$(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS)" \ TEXI2DVI="$(TEXI2DVI) -t @finalout" \ - $(GENDOCS) $(PACKAGE) '$(PACKAGE_NAME) manual' - -manual.tar.bz2: manual - tar cfj manual.tar.bz2 manual - -man-tar: manual.tar.bz2 + $(GENDOCS) -C manual -o otherdoc.texi $(PACKAGE) otherdoc.texi.in + $(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS) -DWEBDOC \ + --html --init-file=webdoc.init $(info_TEXINFOS) -o manual |