I noticed that the documentation set includes a PDF of the manual up to version 
2.11, and after that only the HTML version is being produced.  Is the PDF not 
going to be produced anymore?

Reply via email to