diff options
Diffstat (limited to 'Build/source/texk/web2c/Makefile.in')
-rw-r--r-- | Build/source/texk/web2c/Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/Makefile.in b/Build/source/texk/web2c/Makefile.in index 3277e9c0903..5e080e43f57 100644 --- a/Build/source/texk/web2c/Makefile.in +++ b/Build/source/texk/web2c/Makefile.in @@ -1,5 +1,6 @@ -# Makefile for web2c --kb@mail.tug.org. Public domain. # $Id: //depot/Build/source.development/TeX/texk/web2c/Makefile.in#66 $ +# @configure_input@ +# Makefile for web2c --kb@mail.tug.org. Public domain. version = @WEB2CVERSION@ # This makefile uses static rules with many targets (to be compatible to |