ppl-devel: remove docs, use too much space.

srcpkgs/ppl/ppl-devel.template

@@ -1,18 +1,14 @@
 # Template file for 'ppl-devel'.
 #
-revision=1
+revision=2
 short_desc="${short_desc} (development files)"
 long_desc="${long_desc}
 
  This package contains files for development, headers, static libs, etc."
 
-
-do_install()
-{
-	install -d ${DESTDIR}/usr/lib
-
+do_install() {
 	for d in bin include share; do
-		mv ${SRCPKGDESTDIR}/usr/${d} ${DESTDIR}/usr
+		vmove usr/${d} usr
 	done
-	mv ${SRCPKGDESTDIR}/usr/lib/*.a ${DESTDIR}/usr/lib
+	vmove "usr/lib/*.a" usr/lib
 }

srcpkgs/ppl/template

@@ -31,3 +31,7 @@ Add_dependency build gmp-devel
 if [ -n "$BOOTSTRAP_PKG_REBUILD" ]; then
 	Add_dependency build m4
 fi
+
+post_install() {
+	rm -rf ${DESTDIR}/usr/share/doc
+}