summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/configure
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2020-06-07 18:00:56 +0000
committerKarl Berry <karl@freefriends.org>2020-06-07 18:00:56 +0000
commit0c7c5013ed0bbc12b2bcbd255cf4989ebc855d69 (patch)
tree9b16ba679a0c58ef9fdc1d6cb105be96b19c0def /Build/source/texk/web2c/configure
parentaa3e111e5d4398b9a787c9ca452aba79700e706c (diff)
omit $Id$ in generated output; it is useful, but too painful to commit autosources and generated files separately
git-svn-id: svn://tug.org/texlive/trunk@55466 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/configure')
-rwxr-xr-xBuild/source/texk/web2c/configure5
1 files changed, 2 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/configure b/Build/source/texk/web2c/configure
index 11a665ff9ea..080b73bc37f 100755
--- a/Build/source/texk/web2c/configure
+++ b/Build/source/texk/web2c/configure
@@ -18594,9 +18594,8 @@ fi
# Include additional code for web2c.
-# $Id: web2c.ac 55138 2020-05-14 17:47:47Z karl $
-# texk/web2c/ac/web2c.ac: configure.ac fragment for the TeX Live subdirectory texk/web2c/
-## configure options for TeX and MF
+# texk/web2c/ac/web2c.ac: configure.ac fragment for TL subdir
+# configure options for TeX and MF
# Check whether --with-banner-add was given.
if test "${with_banner_add+set}" = set; then :