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