Você não precisa usar programas extras sempre que tiver o Google Chrome. No google chrome, abra o arquivo HTML e vá para Configurações - > Imprimir e, em seguida, a página de impressão será aberta. Nesta página, clique no botão "Alterar" que está ao lado da seção de destino e selecione "Salvar como PDF" - > Está bem Em seguida, o botão "imprimir" irá se transformar no botão "salvar". Agora pressione o botão Salvar e salve seu arquivo HTML como PDF. [Para páginas da web on-line é muito muito útil, por exemplo, se você preencher o formulário na página da web, suas informações de formulário serão exibidas no arquivo pdf.] Divirta-se!