diff --git a/livesupport/doc/developmentTools.html b/livesupport/doc/developmentTools.html
index d0547ea48..04a194adc 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.2 $
+ - Author: $Author: fgerlits $
+ - Version: $Revision: 1.3 $
- Location: $Source:
/home/cvs/livesupport/doc/developmentTools.html,v $
@@ -36,7 +36,9 @@ The following tools are expected on the development system:
automake <
1.9
autoconf
->= 2.5
+>= 2.5
+(If you have an older version installed as well, don't forget to set the
+environment variable WANT_AUTOCONF_2_5="1" before compiling the tools.)
libtool
pkgconfig