diff options
author | Andrew Shadura <andrew@shadura.me> | 2017-11-26 11:52:22 +0000 |
---|---|---|
committer | Andrew Shadura <andrewsh@debian.org> | 2017-11-26 11:52:22 +0000 |
commit | 0efed327c319784f2180fa468f111537ff098a4e (patch) | |
tree | 7bc9a199a87f5f7e76771c2c480ee7e23424ac38 | |
parent | 7cdffa272cd423c8c1dc85b16cee93a34021941a (diff) |
use system texi2htmlarchive/debian/0.20-1
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..79461cb 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) + texi2html -split=node -menu $(TOPSRC) ln -sf python-xlib_toc.html index.html clean: |