Mark user-manual as UTF-8

diff --git a/GIT-VERSION-GEN b/GIT-VERSION-GEN
index 289c8067b507095b18fc7be60772756ff740385d..3c0032cec592a765692234f1cba47dfdcc3a9200 100755 (executable)
--- a/GIT-VERSION-GEN
+++ b/GIT-VERSION-GEN
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 GVF=GIT-VERSION-FILE
-DEF_VER=v1.5.2.GIT
+DEF_VER=v1.5.3.GIT
 
 LF='
 '
@@ -43,3 +43,5 @@ test "$VN" = "$VC" || {
        echo >&2 "GIT_VERSION = $VN"
        echo "GIT_VERSION = $VN" >$GVF
 }
+
+