Subject: Re: Is there a pdf git manual?

From: Jakub Narebski <[email-masked]>
Date: Tue, 8 Nov 2011 00:17:50 +0100

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