From 1fc259067ad383b1d763fc3cbc911d57c1adc960 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Fri, 2 Jul 2010 13:56:07 +0200
Subject: [PATCH] ed was not found in f12 builds, making the dep. explicit

---
 config.planetlab/devel.pkgs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/config.planetlab/devel.pkgs b/config.planetlab/devel.pkgs
index 221476bd..380f5820 100644
--- 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
-- 
2.43.0