The document of HTML Converter says that htmlconv1_3.jar will be generated by
unzipping htmlconv-1_3_0_02.zip, but the usage of the jar file says
"htmlconv1_3_0_02.jar itself as below.

% java -jar htmlconv1_3.jar -help

Usage: java -jar htmlconv1_3_0_02.jar [-option1 value1 [-option2 value2 [...]]] [-simulate] [filespecs]

------------------------------------------------------------------------
Options:

-source: Path to get original files. Default: <userdir>
-dest: Path to write converted files. Default: <userdir>
-backup: Path to write backup files. Default 'dirname <directory_of_html_file>'/'basename <directory_of_html_file>'_BAK
-subdirs: Should files in subdirectories be processed.
-template: Path to template file. Use default if unsure.
-log: Path to write log. If not provided, no log is written.
-progress: Display progress while converting. Default: true
-simulate: Display the specifics to the conversion without converting.

Filespecs: Space delimited list of file specs, * wildcard. (*.html *.htm)

kenichi.kurosaki@Japan 2001-02-28