(Makefile): Push texi2html.py options into a make variable.
diff --git a/Doc/Makefile b/Doc/Makefile
index c0556bd..a09b1bf 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -59,6 +59,7 @@
# Destination directory for output of libwww target.
PARTPARSE= $(PYTHON) ./partparse.pyc
+TEXI2HTMLFLAGS= -d
TEXI2HTML= $(PYTHON) ./texi2html.pyc
LIBHTMLDIR= ./python-lib
@@ -187,7 +188,7 @@
libwww: lib.texi texi2html.pyc
if test ! -d $(LIBHTMLDIR); then mkdir $(LIBHTMLDIR); else true; fi
- $(TEXI2HTML) -d lib.texi $(LIBHTMLDIR)
+ $(TEXI2HTML) $(TEXI2HTMLFLAGS) lib.texi $(LIBHTMLDIR)
# Targets to convert the manuals to HTML using Nikos Drakos' LaTeX to
# HTML converter. For more info on this program, see