Added support for --favicon.
diff --git a/Doc/tools/mkhowto b/Doc/tools/mkhowto
index b542c26..4ce126b 100755
--- a/Doc/tools/mkhowto
+++ b/Doc/tools/mkhowto
@@ -25,6 +25,7 @@
not a URL).
--up-link URL to a parent document.
--up-title Title of a parent document.
+ --favicon Icon to display in the browsers location bar.
Other options:
--a4 Format for A4 paper.
@@ -108,6 +109,7 @@
about_file = os.path.join(TOPDIR, "html", "about.dat")
up_link = None
up_title = None
+ favicon = None
#
# 'dvips_safe' is a weird option. It is used mostly to make
# LaTeX2HTML not try to be too smart about protecting the user
@@ -153,7 +155,8 @@
"keep", "quiet", "runs=", "image-type=",
"about=", "numeric", "style=", "paper=",
"up-link=", "up-title=", "dir=",
- "global-module-index=", "dvips-safe"]
+ "global-module-index=", "dvips-safe",
+ "favicon="]
+ list(self.ALL_FORMATS))
for opt, arg in opts:
if opt == "--all":
@@ -196,6 +199,8 @@
self.style_file = os.path.abspath(arg)
elif opt == "--l2h-init":
self.l2h_init_files.append(os.path.abspath(arg))
+ elif opt == "--favicon":
+ self.favicon = arg
elif opt == "--up-link":
self.up_link = arg
elif opt == "--up-title":
@@ -477,6 +482,7 @@
l2hoption(fp, "MAX_SPLIT_DEPTH", options.max_split_depth)
l2hoption(fp, "EXTERNAL_UP_LINK", options.up_link)
l2hoption(fp, "EXTERNAL_UP_TITLE", options.up_title)
+ l2hoption(fp, "FAVORITES_ICON", options.favicon)
l2hoption(fp, "GLOBAL_MODULE_INDEX", options.global_module_index)
l2hoption(fp, "DVIPS_SAFE", options.dvips_safe)
fp.write("1;\n")