diff options
-rwxr-xr-x | doc/ChangeLog.awk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/ChangeLog.awk b/doc/ChangeLog.awk index 1a29f805..bd80da1a 100755 --- a/doc/ChangeLog.awk +++ b/doc/ChangeLog.awk @@ -3,6 +3,7 @@ BEGIN { nb_entry = 0 in_entry = 0 in_item = 0 + print "<?xml version='1.0' encoding='ISO-8859-1'?>" print "<log>" } END { |