diff options
author | Andrew Shadura <andrew@shadura.me> | 2018-07-21 13:30:51 +0200 |
---|---|---|
committer | Andrej Shadura <andrewsh@debian.org> | 2018-07-21 13:30:51 +0200 |
commit | ae785cab36c7a0735c7e68a2511ef82154f09c3b (patch) | |
tree | fc42428a92dd59a2caf349d24768d6dcc2b102ba | |
parent | 7c4aca6e5c5c3b8606f2be99162b94632d063ac1 (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 2fd5099..e0d4454 100644 --- a/doc/html/Makefile +++ b/doc/html/Makefile @@ -3,7 +3,7 @@ include ../src/defs python-xlib_toc.html: $(SRCS) - texi2html --output=. --split=node --menu $(TOPSRC) + makeinfo --output=. --html --split=node $(TOPSRC) ln -sf python-xlib_toc.html index.html clean: |