fixed docs html file generation error in distcheck