diff --git a/livesupport/doc/developmentTools.html b/livesupport/doc/developmentTools.html
index 05c90b3d9..9d1088591 100644
--- a/livesupport/doc/developmentTools.html
+++ b/livesupport/doc/developmentTools.html
@@ -3,7 +3,7 @@
LiveSupport developer tools
-
+
Preface
@@ -12,8 +12,8 @@ project, Copyright © 2004 Media
Development Loan Fund, under the GNU GPL.
- - Author: $Author: maroy $
- - Version: $Revision: 1.4 $
+ - Author: $Author: fgerlits $
+ - Version: $Revision: 1.5 $
- Location: $Source:
/home/cvs/livesupport/doc/developmentTools.html,v $
@@ -34,7 +34,7 @@ The following tools are expected on the development system:
make
>= 3.80
automake <
-1.9
+1.8
autoconf
>= 2.5
(If you have an older version installed as well, don't forget to set