linuxdoc-tools-0.9.72-2.mga7.src.rpm build ok