FYI: texi2dvi: version()

[Akim Demaille]

Index: ChangeLog
from  Akim Demaille  <address@hidden>

        * util/texi2dvi (version): New function, to replace...
        ($version): this.

Index: util/texi2dvi
===================================================================
RCS file: /cvsroot/texinfo/texinfo/util/texi2dvi,v
retrieving revision 1.127
diff -u -u -r1.127 texi2dvi
--- util/texi2dvi 16 Jun 2008 10:28:07 -0000 1.127
+++ util/texi2dvi 16 Jun 2008 10:31:18 -0000
@@ -36,13 +36,6 @@
 rcs_revision='$Revision: 1.127 $'
 rcs_version=`set - $rcs_revision; echo $2`
 program=`echo $0 | sed -e 's!.*/!!'`
-version="texi2dvi (GNU Texinfo 4.12) $rcs_version
-
-Copyright (C) 2008 Free Software Foundation, Inc.
-License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
-This is free software: you are free to change and redistribute it.
-There is NO WARRANTY, to the extent permitted by law.
-"
 
 build_mode=${TEXI2DVI_BUILD_MODE:-local}
 build_dir=${TEXI2DVI_BUILD_DIRECTORY:-.}
@@ -384,6 +377,21 @@
 }
 
 
+# version
+# -------
+# Display version info and exit succesfully.
+version ()
+{
+  cat <<EOF
+texi2dvi (GNU Texinfo 4.12) $rcs_version
+
+Copyright (C) 2008 Free Software Foundation, Inc.
+License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
+This is free software: you are free to change and redistribute it.
+There is NO WARRANTY, to the extent permitted by law.
+EOF
+}
+
 
 ## ---------------- ##
 ## Handling lists.  ##
@@ -1507,7 +1515,7 @@
     --text) out_lang=text;;
     --translate-file ) shift; translate_file="$1";;
     --tidy) build_mode=tidy;;
-    -v | --vers*) echo "$version"; exit 0;;
+    -v | --vers*) version;;
     -V | --verb*) verb=true;;
     --) # What remains are not options.
       shift