# Template file for 'schedtool' pkgname=schedtool version=1.3.0 revision=3 wrksrc="${pkgname}-${version}.orig" build_style=gnu-makefile make_install_args="DESTPREFIX=/usr" short_desc="Query and set CPU scheduling parameters" maintainer="Leah Neukirchen " license="GPL-2.0-only" homepage="http://freshmeat.sourceforge.net/projects/schedtool/" distfiles="http://deb.debian.org/debian/pool/main/s/schedtool/${pkgname}_${version}.orig.tar.gz" checksum=6628e4e805fab9c72b2daeb300c599d3de581f48eb21ce6caee3ae530b18450e post_install() { rm -rf ${DESTDIR}/usr/share/doc/schedtool* }