diff options
| author | Sergey Poznyakoff <gray@gnu.org> | 2020-12-23 13:33:32 +0200 |
|---|---|---|
| committer | Sergey Poznyakoff <gray@gnu.org> | 2020-12-23 13:33:32 +0200 |
| commit | 36b37b989472ae9dc660cee34863d742a5bfdaf8 (patch) | |
| tree | 9d43c5ff479d29e42eb81313974f8c8f4a30fb9b /doc/Makefile.am | |
| parent | 4fe3e7289947b7ec3bd23bd70cdc9943d7892764 (diff) | |
| download | gdbm-36b37b989472ae9dc660cee34863d742a5bfdaf8.tar.gz gdbm-36b37b989472ae9dc660cee34863d742a5bfdaf8.tar.bz2 | |
Update the docs
* doc/Makefile.am: Use gendocs.pl to generate web version of the
manual.
* doc/gdbm.texi: Update.
* doc/gendocs.pl: New file.
* doc/otherdoc.texi.in: New file.
* doc/.gitignore: Ignore otherdoc.texi.
* doc/webdoc.init: New file.
* doc/gendocs.sh: Remove.
* doc/gendocs_template: Remove.
* doc/html.init: Remove.
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 17cf60c..c345db2 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -22,7 +22,8 @@ gdbm_TEXINFOS=\ dist_man_MANS = gdbm.3 gdbm_dump.1 gdbm_load.1 gdbmtool.1 -GENDOCS=$(srcdir)/gendocs.sh --no-copy-images --html '--init-file=$(abs_srcdir)/html.init' +GENDOCS = perl gendocs.pl +EXTRA_DIST = gendocs.pl webdoc.init TEXI2DVI=texi2dvi -t '@set $(RENDITION)' @@ -30,10 +31,13 @@ TEXI2DVI=texi2dvi -t '@set $(RENDITION)' # TEXINPUTS=/usr/share/texmf/pdftex/plain/misc/ is ok for most distributions .PHONY: manual manual: + rm -rf manual TEXINPUTS=$(srcdir):$(top_srcdir)/build-aux:$(TEXINPUTS) \ - MAKEINFO="$(MAKEINFO) $(MAKEINFOFLAGS)" \ + MAKEINFO="$(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS)" \ TEXI2DVI="$(TEXI2DVI) -t @finalout" \ - $(GENDOCS) --no-copy-images $(PACKAGE) '$(PACKAGE_NAME) manual' + $(GENDOCS) -C manual -o otherdoc.texi $(PACKAGE) otherdoc.texi.in + $(MAKEINFO) $(AM_MAKEINFOFLAGS) $(MAKEINFOFLAGS) -DWEBDOC \ + --html --init-file=webdoc.init $(info_TEXINFOS) -o manual # Checking check-tabs: |