On Tue, Apr 24, 2012 at 09:36:04AM +0200, Marek Polacek wrote: > I tried it and it seems to work. Thanks a lot for doing this. Although, shouldn't `make realclean' remove ./manual/libc as well? Marek