python-xlib/debian/patches/texi2html.patch

17 lines
561 B
Diff

From: Andrej Shadura <andrew@shadura.me>
Subject: Use makeinfo instead of texi2html
Index: python-xlib/doc/html/Makefile
===================================================================
--- python-xlib.orig/doc/html/Makefile 2022-12-30 21:45:59.027404118 -0300
+++ python-xlib/doc/html/Makefile 2022-12-30 21:46:06.267491630 -0300
@@ -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: