summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/otps/Makefile.in
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/otps/Makefile.in')
-rw-r--r--Build/source/texk/web2c/otps/Makefile.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/otps/Makefile.in b/Build/source/texk/web2c/otps/Makefile.in
index 444be45f025..82dc41ed35d 100644
--- a/Build/source/texk/web2c/otps/Makefile.in
+++ b/Build/source/texk/web2c/otps/Makefile.in
@@ -265,6 +265,7 @@ libexecdir = @libexecdir@
localedir = @localedir@
localstatedir = @localstatedir@
lt_ECHO = @lt_ECHO@
+lua_socketlibs = @lua_socketlibs@
mandir = @mandir@
mkdir_p = @mkdir_p@
oldincludedir = @oldincludedir@
@@ -274,7 +275,6 @@ program_transform_name = @program_transform_name@
psdir = @psdir@
sbindir = @sbindir@
sharedstatedir = @sharedstatedir@
-socketlibs = @socketlibs@
srcdir = @srcdir@
subdirs = @subdirs@
sysconfdir = @sysconfdir@