On Fri, May 05, 2006 at 02:06:27PM +0900, Kobayashi Noritada wrote: > Thank you for applying my patch, Jens. > > By the way, it seems that files available online as HTML, text, and PDF > have not yet been updated although the source file in the CVS repository > was updated. > > Haven't there some necessary procedures been taken?
No, it's just another build error on the build host. It seems some font files are now missing which where available in the past. I will try to solve it ... Thanks for reporting, Jens -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
