diff --git a/srcpkgs/cloog-ppl/template b/srcpkgs/cloog-ppl/template
index c4040529ea9..3ed5d59b335 100644
--- a/srcpkgs/cloog-ppl/template
+++ b/srcpkgs/cloog-ppl/template
@@ -21,7 +21,11 @@ Add_dependency run ppl
 Add_dependency build gmp-devel
 Add_dependency build ppl-devel
 
+if [ -n "$BOOTSTRAP_PKG_REBUILD" ]; then
+	Add_dependency build texinfo
+fi
+
 pre_configure()
 {
-	sed -i "/ppl_minor_version=/s#10#11#" ${wrksrc}/configure
+	sed -i "/ppl_minor_version=/s#10#11#" configure
 }