diff options
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 26d55dee..b8e77569 100644 --- a/Makefile.in +++ b/Makefile.in @@ -357,6 +357,8 @@ X_PRE_LIBS=@X_PRE_LIBS@ YACC=@YACC@ YACCFLAGS=-v +MAKEINFO=@MAKEINFO@ + EXEEXT=@EXEEXT@ OBJEXT=@OBJEXT@ # a simple heuristic assumption @@ -420,6 +422,7 @@ MDEFINES= \ "LIBM=$(LIBM)" \ "LIBOBJS=$(LIBOBJS)" \ "LIBS=$(LIBS)" \ + "MAKEINFO=$(MAKEINFO)" \ "MAKEOVERRIDES=$(MAKEOVERRIDES)" \ "OBJEXT=$(OBJEXT)" \ "OTHERDEVDIRS=$(OTHERDEVDIRS)" \ |