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