diff options
| author | Karl Berry <karl@freefriends.org> | 2018-11-22 21:48:15 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2018-11-22 21:48:15 +0000 |
| commit | b5cc1664be99937d3d19c0f690271e201eae7779 (patch) | |
| tree | e2c79ef6aaf3d9dbc89d16b287eff4c7a82b6c6b /Master/texmf-dist/scripts/latex2man | |
| parent | 448c8046aa5d10d83da43bf0c57f47bb5f951428 (diff) | |
latex2man (22nov18)
git-svn-id: svn://tug.org/texlive/trunk@49222 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts/latex2man')
| -rwxr-xr-x | Master/texmf-dist/scripts/latex2man/latex2man | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Master/texmf-dist/scripts/latex2man/latex2man b/Master/texmf-dist/scripts/latex2man/latex2man index 53ec825ad52..8541f593f31 100755 --- a/Master/texmf-dist/scripts/latex2man/latex2man +++ b/Master/texmf-dist/scripts/latex2man/latex2man @@ -4,7 +4,7 @@ # Descr: Latex --> MAN-page (groff -man), HTML and TexInfo; # Language: PERL (>= 5.0) # Author: Dr. Jürgen Vollmer, Juergen.Vollmer@informatik-vollmer.de -# $Id: latex2man,v 1.176 2018/06/05 18:53:10 vollmer Exp $ +# $Id: latex2man,v 1.177 2018/11/22 07:42:26 vollmer Exp $ # # Copyright (C) 1998 Dr. Juergen Vollmer # Am Rennbuckel 21, D-76185 Karlsruhe, Germany @@ -27,8 +27,8 @@ $CMD=`basename "$0"`; chop ($CMD); $gen_date = `date`; chomp $gen_date; # date when the output was generated sub date2str; -$VERSION = "1.27"; -$DATE = date2str ('$Date: 2018/06/05 18:53:10 $' =~ m|(\d+/\d+/\d+)|); +$VERSION = "1.28"; +$DATE = date2str ('$Date: 2018/11/22 07:42:26 $' =~ m|(\d+/\d+/\d+)|); $tmp = "/tmp/$CMD.$$"; |