FYI: texi2dvi --version

[Akim Demaille]

Index: ChangeLog
from  Akim Demaille  <address@hidden>

        * util/texi2dvi (usage): More comments.
        (version): exit 0.
        Reported by Karl Berry.

Index: util/texi2dvi
===================================================================
RCS file: /cvsroot/texinfo/texinfo/util/texi2dvi,v
retrieving revision 1.128
diff -u -u -r1.128 texi2dvi
--- util/texi2dvi 16 Jun 2008 10:33:25 -0000 1.128
+++ util/texi2dvi 18 Jun 2008 08:19:18 -0000
@@ -269,6 +269,15 @@
 # Display usage and exit successfully.
 usage ()
 {
+  # We used to simply have `echo "$usage"', but coping with the
+  # changing behavior of `echo' is much harder than simply using a
+  # here-doc.
+  #
+  #             echo '\noto'   echo '\\noto'   echo -e '\\noto'
+  # bash 3.1      \noto           \\noto          \noto
+  # bash 3.2       %oto           \noto           -e \noto
+  #
+  # where % denotes the eol character.
   cat <<EOF
 Usage: $program [OPTION]... FILE...
 
@@ -391,6 +400,7 @@
 This is free software: you are free to change and redistribute it.
 There is NO WARRANTY, to the extent permitted by law.
 EOF
+  exit 0
 }