diff options
author | Karl Berry <karl@freefriends.org> | 2018-04-28 02:01:24 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-04-28 02:01:24 +0000 |
commit | 844078cddfda2e1ad9eb52ced942672dce7436d2 (patch) | |
tree | a3eddc49a78f3feb72436edba097aedf9990a4df /Build/source/texk/web2c/web2c | |
parent | fa8dc3a0cb5994d80005bbb5d392d17980e1fb5a (diff) |
post-2018 release /dev ident
git-svn-id: svn://tug.org/texlive/trunk@47468 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/web2c')
-rwxr-xr-x | Build/source/texk/web2c/web2c/configure | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/Build/source/texk/web2c/web2c/configure b/Build/source/texk/web2c/web2c/configure index 13df2b3878f..7f71c7b15a3 100755 --- a/Build/source/texk/web2c/web2c/configure +++ b/Build/source/texk/web2c/web2c/configure @@ -1,6 +1,6 @@ #! /bin/sh # Guess values for system-dependent variables and create Makefiles. -# Generated by GNU Autoconf 2.69 for Web2C Tools 2018. +# Generated by GNU Autoconf 2.69 for Web2C Tools 2018/dev. # # Report bugs to <tex-k@tug.org>. # @@ -590,8 +590,8 @@ MAKEFLAGS= # Identity of this package. PACKAGE_NAME='Web2C Tools' PACKAGE_TARNAME='web2c-tools' -PACKAGE_VERSION='2018' -PACKAGE_STRING='Web2C Tools 2018' +PACKAGE_VERSION='2018/dev' +PACKAGE_STRING='Web2C Tools 2018/dev' PACKAGE_BUGREPORT='tex-k@tug.org' PACKAGE_URL='' @@ -1328,7 +1328,7 @@ if test "$ac_init_help" = "long"; then # Omit some internal or obsolete options to make the list less imposing. # This message is too long to be a string in the A/UX 3.1 sh. cat <<_ACEOF -\`configure' configures Web2C Tools 2018 to adapt to many kinds of systems. +\`configure' configures Web2C Tools 2018/dev to adapt to many kinds of systems. Usage: $0 [OPTION]... [VAR=VALUE]... @@ -1398,7 +1398,7 @@ fi if test -n "$ac_init_help"; then case $ac_init_help in - short | recursive ) echo "Configuration of Web2C Tools 2018:";; + short | recursive ) echo "Configuration of Web2C Tools 2018/dev:";; esac cat <<\_ACEOF @@ -1521,7 +1521,7 @@ fi test -n "$ac_init_help" && exit $ac_status if $ac_init_version; then cat <<\_ACEOF -Web2C Tools configure 2018 +Web2C Tools configure 2018/dev generated by GNU Autoconf 2.69 Copyright (C) 2012 Free Software Foundation, Inc. @@ -2360,7 +2360,7 @@ cat >config.log <<_ACEOF This file contains any messages produced by compilers while running configure, to aid debugging if configure makes a mistake. -It was created by Web2C Tools $as_me 2018, which was +It was created by Web2C Tools $as_me 2018/dev, which was generated by GNU Autoconf 2.69. Invocation command line was $ $0 $@ @@ -8045,7 +8045,7 @@ fi # Define the identity of the package. PACKAGE='web2c-tools' - VERSION='2018' + VERSION='2018/dev' cat >>confdefs.h <<_ACEOF @@ -14574,7 +14574,7 @@ cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1 # report actual input values of CONFIG_FILES etc. instead of their # values after options handling. ac_log=" -This file was extended by Web2C Tools $as_me 2018, which was +This file was extended by Web2C Tools $as_me 2018/dev, which was generated by GNU Autoconf 2.69. Invocation command line was CONFIG_FILES = $CONFIG_FILES @@ -14640,7 +14640,7 @@ _ACEOF cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1 ac_cs_config="`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`" ac_cs_version="\\ -Web2C Tools config.status 2018 +Web2C Tools config.status 2018/dev configured by $0, generated by GNU Autoconf 2.69, with options \\"\$ac_cs_config\\" |