At Sun, 9 May 2010 18:29:10 +0200, Rémi Vanicat wrote: > > When generating html file, makeinfo need this information to put the > correct charset.
Applied, but not updated yet (the homepage generator works on tags). Where's the problem manifested in the manual? Cheers, Phil
