htmldoc-1.9-1.mga7.src.rpm build ok