summaryrefslogtreecommitdiffstats
path: root/Doc/tools
diff options
context:
space:
mode:
authorFred Drake <fdrake@acm.org>2002-10-30 17:02:21 (GMT)
committerFred Drake <fdrake@acm.org>2002-10-30 17:02:21 (GMT)
commit56c8c27b27c883bcec8975c0b742d1b534468662 (patch)
treea1781d42502d89263740805751714662d710c027 /Doc/tools
parentdd3d6a03c0c763cd83b969f564577db74e802681 (diff)
downloadcpython-56c8c27b27c883bcec8975c0b742d1b534468662.zip
cpython-56c8c27b27c883bcec8975c0b742d1b534468662.tar.gz
cpython-56c8c27b27c883bcec8975c0b742d1b534468662.tar.bz2
Added support for --favicon.
Diffstat (limited to 'Doc/tools')
-rwxr-xr-xDoc/tools/mkhowto8
1 files changed, 7 insertions, 1 deletions
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 @@ HTML options:
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 @@ class Options:
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 @@ class Options:
"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 @@ class Options:
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 @@ class Job:
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")