Merge commit 'origin/master'

diff --git a/config.f12/devel.pkgs b/config.f12/devel.pkgs
index cb95220..81d75d7 100644 (file)
--- a/config.f12/devel.pkgs
+++ b/config.f12/devel.pkgs
@@ -1,5 +1,3 @@
-# $Id$
-# $URL$
 #
 groupname: PlanetLabDevel
 groupdesc: Building PlanetLab
@@ -25,5 +23,6 @@ package: git
 package: xmlto asciidoc binutils-devel
 # util-vserver
 package: vconfig wget which e2fsprogs-devel doxygen graphviz rsync dump dietlibc python-devel ctags
+package: autoconf automake libtool
 # yum
 package: gettext intltool