I haven't tried any html to pdf services or applications for the manuals but you can look around for something that will do that for you. I've used one in the past that worked pretty well but I forget the name. A quick search gave me Web Page to PDF - Convert Web to PDF Online Free