@@ -25,6 +25,7 @@ HTML options:
2525 not a URL).
2626 --up-link URL to a parent document.
2727 --up-title Title of a parent document.
28+ --favicon Icon to display in the browsers location bar.
2829
2930Other options:
3031 --a4 Format for A4 paper.
@@ -108,6 +109,7 @@ class Options:
108109 about_file = os .path .join (TOPDIR , "html" , "about.dat" )
109110 up_link = None
110111 up_title = None
112+ favicon = None
111113 #
112114 # 'dvips_safe' is a weird option. It is used mostly to make
113115 # LaTeX2HTML not try to be too smart about protecting the user
@@ -153,7 +155,8 @@ class Options:
153155 "keep" , "quiet" , "runs=" , "image-type=" ,
154156 "about=" , "numeric" , "style=" , "paper=" ,
155157 "up-link=" , "up-title=" , "dir=" ,
156- "global-module-index=" , "dvips-safe" ]
158+ "global-module-index=" , "dvips-safe" ,
159+ "favicon=" ]
157160 + list (self .ALL_FORMATS ))
158161 for opt , arg in opts :
159162 if opt == "--all" :
@@ -196,6 +199,8 @@ class Options:
196199 self .style_file = os .path .abspath (arg )
197200 elif opt == "--l2h-init" :
198201 self .l2h_init_files .append (os .path .abspath (arg ))
202+ elif opt == "--favicon" :
203+ self .favicon = arg
199204 elif opt == "--up-link" :
200205 self .up_link = arg
201206 elif opt == "--up-title" :
@@ -477,6 +482,7 @@ class Job:
477482 l2hoption (fp , "MAX_SPLIT_DEPTH" , options .max_split_depth )
478483 l2hoption (fp , "EXTERNAL_UP_LINK" , options .up_link )
479484 l2hoption (fp , "EXTERNAL_UP_TITLE" , options .up_title )
485+ l2hoption (fp , "FAVORITES_ICON" , options .favicon )
480486 l2hoption (fp , "GLOBAL_MODULE_INDEX" , options .global_module_index )
481487 l2hoption (fp , "DVIPS_SAFE" , options .dvips_safe )
482488 fp .write ("1;\n " )
0 commit comments