&fix_print_html($ARGV[0], 'body.html', 'title.html');
my($cmd) = "htmldoc --size universal -t pdf -f ${fname_wo_ext}.pdf " .
+ "--linkcolor #0000ff ".
"--firstpage p1 --titlefile title.html body.html --footer c.1";
# For postscript output; append onto the above cmd string: