# HG changeset patch
# User diego
# Date 1076397286 0
# Node ID 6363be1eb8009aae966aed265b90d7722fb93110
# Parent  a4c9323779d1a0555b57ac193eab6c6386398bea
We need make 3.80 to build.

diff -r a4c9323779d1 -r 6363be1eb800 DOCS/xml/README
--- a/DOCS/xml/README	Tue Feb 10 07:14:12 2004 +0000
+++ b/DOCS/xml/README	Tue Feb 10 07:14:46 2004 +0000
@@ -1,6 +1,7 @@
 Tools required for building the documentation
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
+* GNU make 3.80 or later
 * DocBook 4.1.2 or later
 * The DocBook XML DTD (also known as DocBk XML)
 * DocBook XSL stylesheets -- version 1.50.0 or later is recommended.