diff options
-rwxr-xr-x | DOCS/xml/configure | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/DOCS/xml/configure b/DOCS/xml/configure index eb5d4b4547..26f2205298 100755 --- a/DOCS/xml/configure +++ b/DOCS/xml/configure @@ -149,6 +149,9 @@ fi 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" [ |