# HG changeset patch
# User torinthiel
# Date 1161853832 0
# Node ID ef1252f1ac2dd96c2459af31f48f8a6bfc899a69
# Parent  6ec1b069b2de948b399e7d95c8dcd888254025a9
Clearly state that main.xml is generated

diff -r 6ec1b069b2de -r ef1252f1ac2d DOCS/xml/configure
--- a/DOCS/xml/configure	Thu Oct 26 08:33:35 2006 +0000
+++ b/DOCS/xml/configure	Thu Oct 26 09:10:32 2006 +0000
@@ -149,6 +149,9 @@
 for lang in `grep 'SUBDIRS =' Makefile|cut -d= -f2`; do
   cat > $lang/main.xml << EOF
 <?xml version="1.0" encoding="iso-8859-1" standalone="no"?>
+<!-- **************************************************
+     This file is generated automatically. DO NOT EDIT.
+     ************************************************** -->
 <!DOCTYPE book PUBLIC "-//OASIS//DTD DocBook XML V4.1.2//EN"
     "$_dtd"
 [