From: Peng Yu Date: Mon, 07 Nov 2011 19:07:04 GMT Subject: Re: Is there a pdf git manual? Message-ID: In-Reply-To: Hi Jakub, > "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? -- Regards, Peng