linuxdoc-tools-0.9.82-3.mga10.src.rpm build ok