Devel manual: update rpm rules