htmldoc-1.9.8-1.mga8.src.rpm build ok