There's various programs out there named whatevahtopdf or whatevah2pdf.
Also, named a bit differently, there's this
http://www.easysw.com/htmldoc/ which converts html to pdf.
And, of course, you can write your docs in sgml/xml (google for linuxdoc and docbook), and process your docs into all sorts of formats, including pdf.