Re: FYI: texi2dvi: version()

[Akim Demaille]

Actually, I installed the following, sorry.

Index: ChangeLog
from  Akim Demaille  <address@hidden>

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

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:33:17 -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:-.}
@@ -307,6 +300,7 @@
 TeX tuning:
   -@                         use @input instead of \input for preloaded Texinfo
       --dvi                  output a DVI file [default]
+      --dvipdf               output a PDF file via DVI (using dvipdf)
   -e, -E, --expand           force macro expansion using makeinfo
   -I DIR                     search DIR for Texinfo files
   -l, --language=LANG        specify LANG for FILE, either latex or texinfo
@@ -384,6 +378,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 +1516,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