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