diff options
Diffstat (limited to 'Build/source/texk/kpathsea/mktexpk')
-rwxr-xr-x | Build/source/texk/kpathsea/mktexpk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/kpathsea/mktexpk b/Build/source/texk/kpathsea/mktexpk index baed82a83fa..aecf5c34f30 100755 --- a/Build/source/texk/kpathsea/mktexpk +++ b/Build/source/texk/kpathsea/mktexpk @@ -8,7 +8,7 @@ # Report bugs to tex-k@tug.org. # Public domain. -version='$Id: mktexpk,v 1.34 2005/06/21 10:49:10 olaf Exp $' +version='$Id$' progname=`echo $0 | sed 's%.*/%%'` usage="Usage: $progname [OPTIONS] NAME [REDIRECT], Create a PK font. |