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