devtools::build_manual() 

can now be used to generate PDF version of the R manual pages.