Re: [Fwd: [Bug 688] - make documentation produces only files as 'x6772.html']