diff options
author | Sergey Poznyakoff <gray@gnu.org> | 2017-03-11 19:08:01 +0200 |
---|---|---|
committer | Sergey Poznyakoff <gray@gnu.org> | 2017-03-11 19:08:01 +0200 |
commit | 032805d37b13911eaf036fc976c5d8ab9abde28e (patch) | |
tree | 55fe483984d59f0b749531b6bba026521a850353 | |
parent | 2343e816784c79d68bcd328bf84c23c46428a6ae (diff) | |
download | gdbm-032805d37b13911eaf036fc976c5d8ab9abde28e.tar.gz gdbm-032805d37b13911eaf036fc976c5d8ab9abde28e.tar.bz2 |
Fix GENDOCS command linev1.13
-rw-r--r-- | doc/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 0f3e1d7..5c8c935 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -22,7 +22,7 @@ gdbm_TEXINFOS=\ dist_man_MANS = gdbm.3 gdbm_dump.1 gdbm_load.1 gdbmtool.1 -GENDOCS=$(srcdir)/gendocs.sh +GENDOCS=$(srcdir)/gendocs.sh --no-copy-images --html '--init-file=$(abs_srcdir)/html.init' TEXI2DVI=texi2dvi -t '@set $(RENDITION)' |