From: Jakub Narebski Date: Mon, 07 Nov 2011 23:17:50 GMT Subject: Re: Is there a pdf git manual? Message-ID: <201111080017.51661.jnareb@gmail.com> In-Reply-To: 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