diff options
author | Andrew Shadura <andrew@shadura.me> | 2017-11-26 23:39:36 +0000 |
---|---|---|
committer | Andrew Shadura <andrewsh@debian.org> | 2017-11-26 23:39:36 +0000 |
commit | de0b100385efb92ea7af7e70f1df336e84c84a46 (patch) | |
tree | fdd95a5235963333ec965dda7ad2f2f60d655fc4 | |
parent | 60c72805777270d060c218eff5a1af4355ef5a42 (diff) |
use system 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..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: |