diff options
author | Andrew Shadura <andrew@shadura.me> | 2017-11-27 13:10:02 +0000 |
---|---|---|
committer | Andrew Shadura <andrewsh@debian.org> | 2017-11-27 13:10:02 +0000 |
commit | 9e20e46c8a8a779ff826c7d92f3008af92211c73 (patch) | |
tree | 8b9d9e5ca3ba7077ea8ee34d470a90f537b04abd | |
parent | d84434fa993fec9cd6d5d2cb4a44de053be46851 (diff) |
use makeinfo instead of texi2html
Gbp-Pq: Name texi2html.patch
-rw-r--r-- | doc/html/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/html/Makefile b/doc/html/Makefile index 7f20e89..ed973e5 100644 --- a/doc/html/Makefile +++ b/doc/html/Makefile @@ -3,7 +3,7 @@ include ../src/defs python-xlib_toc.html: $(SRCS) - ./texi2html -splitnode -menu $(TOPSRC) + makeinfo --html --split=node $(TOPSRC) ln -sf python-xlib_toc.html index.html clean: |