Peng Yu wrote: > Jakub Narebski wrote: > > > "make pdf" would generate PDF version of (some of) documentation. > > I get the pdf generated. When you say 'some of", what is missing from > the pdf? I just was not sure if it generates PDF version of all documentation, though I was reasonably sure that user's manual has PDF version. -- Jakub Narebski Poland -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html