Re: [Cin] Problems producing the manual