# HG changeset patch
# User henry
# Date 1216451478 0
# Node ID d41a06f831ee643a18e2e3d16a74149c56941cf3
# Parent  a316bc1ea84dc7fb6fad19fccc2f428ed0f1ac0b
docs build fix

diff -r a316bc1ea84d -r d41a06f831ee DOCS/xml/configure
--- a/DOCS/xml/configure	Sat Jul 19 02:00:56 2008 +0000
+++ b/DOCS/xml/configure	Sat Jul 19 07:11:18 2008 +0000
@@ -152,7 +152,7 @@
   echo "Found docbookx.dtd at $_dtd"
 fi
 
-for lang in `grep 'SUBDIRS =' Makefile|cut -d= -f2`; do
+for lang in `grep 'DOC_LANGS =' ../../config.mak|cut -d= -f2`; do
   cat > $lang/main.xml << EOF
 <?xml version="1.0" encoding="utf-8" standalone="no"?>
 <!-- **************************************************