diff options
Diffstat (limited to 'macros/texinfo/texinfo/util/pdftexi2dvi')
-rw-r--r-- | macros/texinfo/texinfo/util/pdftexi2dvi | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/macros/texinfo/texinfo/util/pdftexi2dvi b/macros/texinfo/texinfo/util/pdftexi2dvi index ff82322d99..ca918e2198 100644 --- a/macros/texinfo/texinfo/util/pdftexi2dvi +++ b/macros/texinfo/texinfo/util/pdftexi2dvi @@ -15,18 +15,15 @@ unset RUNNING_BSH # hack around a bug in zsh: test -n "${ZSH_VERSION+set}" && alias -g '${1+"$@"}'='"$@"' -rcs_revision='$Revision$' -rcs_version=`set - $rcs_revision; echo $2` - # special-case --version following GNU standards for identifying the # program name. If --version is specified as other than the first # argument, we don't output the standard name, but then, we're not # obliged to. if test "x$1" = x--version; then cat <<EOF -texi2pdf (GNU Texinfo 6.7) $rcs_version +texi2pdf (GNU Texinfo 6.8) -Copyright (C) 2019 Free Software Foundation, Inc. +Copyright (C) 2021 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. |