diff options
Diffstat (limited to 'macros/texinfo/texinfo/util/pdftexi2dvi')
-rw-r--r-- | macros/texinfo/texinfo/util/pdftexi2dvi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/macros/texinfo/texinfo/util/pdftexi2dvi b/macros/texinfo/texinfo/util/pdftexi2dvi index 30e9e1f815..373d201319 100644 --- a/macros/texinfo/texinfo/util/pdftexi2dvi +++ b/macros/texinfo/texinfo/util/pdftexi2dvi @@ -21,7 +21,7 @@ test -n "${ZSH_VERSION+set}" && alias -g '${1+"$@"}'='"$@"' # obliged to. if test "x$1" = x--version; then cat <<EOF -texi2pdf (GNU Texinfo 7.0) +texi2pdf (GNU Texinfo 7.0.1) Copyright (C) 2022 Free Software Foundation, Inc. License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html> |