diff options
author | Sergey Poznyakoff <gray@gnu.org.ua> | 2015-03-01 20:50:32 +0000 |
---|---|---|
committer | Sergey Poznyakoff <gray@gnu.org.ua> | 2015-03-01 20:50:32 +0000 |
commit | 0f7f87bb3edce61705636ab503f6c1b28557c13c (patch) | |
tree | c2fddd04dab1ed25eab77616935532135212ef9e /doc/Makefile.am | |
parent | 68d1c6caf0fa23f7cbb40322bbeb16fa436e84e4 (diff) | |
download | gdbm-0f7f87bb3edce61705636ab503f6c1b28557c13c.tar.gz gdbm-0f7f87bb3edce61705636ab503f6c1b28557c13c.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 2513f99..8773b75 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -1,5 +1,5 @@ # This file is part of GDBM. -*- Makefile -*- -# Copyright (C) 2007, 2011, 2014 Free Software Foundation, Inc. +# Copyright (C) 2007, 2011, 2014, 2015 Free Software Foundation, Inc. # # GDBM is free software; you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -22,9 +22,9 @@ gdbm_TEXINFOS=\ dist_man_MANS = gdbm.3 gdbm_dump.1 gdbm_load.1 gdbmtool.1 -GENDOCS=gendocs.sh +GENDOCS=$(srcdir)/gendocs.sh -TEXI2DVI=texi2dvi -E +TEXI2DVI=texi2dvi -t '@set $(RENDITION)' # Make sure you set TEXINPUTS. # TEXINPUTS=/usr/share/texmf/pdftex/plain/misc/ is ok for most distributions @@ -33,7 +33,7 @@ manual: TEXINPUTS=$(srcdir):$(top_srcdir)/build-aux:$(TEXINPUTS) \ MAKEINFO="$(MAKEINFO) $(MAKEINFOFLAGS)" \ TEXI2DVI="$(TEXI2DVI) -t @finalout" \ - $(GENDOCS) --texi2html $(PACKAGE) '$(PACKAGE_NAME) manual' + $(GENDOCS) --no-copy-images $(PACKAGE) '$(PACKAGE_NAME) manual' # Checking check-tabs: |