linuxdoc-tools-0.9.73-2.mga9.src.rpm build ok