Forum OpenACS Q&A: Response to Help for using HTMLDOC to output pdf file/download pdf file

Have you tried

exec htmldoc --webpage --quiet -f $file_name_pdf $file_name_html ?