diff options
author | Norbert Preining <norbert@preining.info> | 2022-12-02 03:04:31 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2022-12-02 03:04:31 +0000 |
commit | 42cda2ed3fa7472e6c064fdbf998d636556343db (patch) | |
tree | 0995420f9b6b31ad8bef5b0e61f35bc7338bab42 /macros/texinfo/texinfo/util/pdftexi2dvi | |
parent | 77362f5f4b083c21c2044b0c54d228da42804c72 (diff) |
CTAN sync 202212020304
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> |