ed was not found in f12 builds, making the dep. explicit

diff --git a/config.planetlab/devel.pkgs b/config.planetlab/devel.pkgs
index 221476b..380f582 100644 (file)
--- a/config.planetlab/devel.pkgs
+++ b/config.planetlab/devel.pkgs
@@ -69,8 +69,10 @@ package: syslinux
 # myplc
 package: rsync 
 package: ghostscript
-# PLCAPI
+# myplc-docs
+package: ed
 package: docbook-utils-pdf 
+# plcapi
 package: postgresql postgresql-devel postgresql-python postgresql-server 
 # if we don't specify @arch@ for php-devel, we end up with the 2 variants (i386 and x86_64)
 # in an undetermined order, and php-config --extension-dir might return the wrong place