diff DOCS/xml/configure @ 20440:ef1252f1ac2d

Clearly state that main.xml is generated
author torinthiel
date Thu, 26 Oct 2006 09:10:32 +0000
parents b7f727c156fd
children 3ea816dc678e
line wrap: on
line diff
--- 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"
 [